SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  # #Z/|4 %S Liouville_Numbers:threads=2elapsed=2.286cpu=3.928gc=0.000factor=1.727zXZִF! Hw]ŗXf1-/6vRZ̶l7d[(o h+0{]&!ޠSѫZ5|&!ٛո( ﶺM.?aO~jЎ=Jh[.@i~yͪQq#B6AMMiǧbp˶?wz ;0[Oz.+neEU$JLʨnrAl|~6alу7=Ơ. ro2lN2_J.KWx9׉xT3,w)< ̸Ք@cP<F%HPSCѾ 1 )9[C~ #Y6!lg14`}8oz`'e;Y|ϹPSa2'vҌ%~<1Nc6 (ָ\,%M02ȋ>VVgYZ7zXZִF! ]ŗXi%?C]DhE;\}b^ͯ%Qdh -'Mfb ow4';ok\_!YǾ_M9B[7RqA7y& pV czJת8E9{Uy.|}l3^uKIq3ȍ6s|-SJ=*64bf'Dzc|y{~o }ݨGN{b/iJ$;q'J3OW-Q=1=7%0-7Rgt:wZO4[":i #%a&4/mG)n]Ӎ p_?8IEH&Q