SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 D T, ]/ MiniML:threads=2elapsed=11.597cpu=15.840gc=0.484factor=1.377zXZִF! !]ŗXf1-/6vR[ m; Z9a2G1B`jj?լ4 "4 uy !Ј`* ]A}5l[Q7G#B }{w~pre<4`ygqj3[ uHkXH( RJ-po&\ɒd~y̱hd@ D+X(%ph#m~4 p:1B>US4/|ӋAi$a9ڷ]M7R$r%6/FܫDZgYZ7zXZִF! ]ŗXiɟ"xS2}YNd TO2@MJg }p=^?bO\d1.6ٺnk0"&*ϊe *S?v$}ϕṘ{Ie`ja5AڏMU@gYZ7zXZִF! FE]ŗXi%ή++P1IEL2Za"&RBkY!K@_Qvc\)dbrRf}mK$ٛhy²j2,>1'%(' ѨU㈣sk͡8Ǿ,B4KHjun<cbsҠv~Z<dB|2BJg+^ lȿ{Sf.GFqPqT7Ą!,""([M-a^7_E@"\y/($- Rgjw,E5pDb-zUm /:~( o1٩~gYjFthSwV`kض`\<^9FE|c#[WϺ ,zPq {ɔD^r̆DXh ,f +^I9HiN\ `Y(~JVȤ ,l^SԧT2ވ}msYTpymV4I_bݾg~z ߦLWoyw M}CUwgp쳪n=Gd1ө*?Wad?2SI{G BEu Ȱb;r䱂q~$DƦ?ԻB1'uk_RB~]+B[A!tԭ-=;]+ ^שmϑoF\ Yȏ ϐ&ѧڢNXmϿio~eIF)YÈt^mRY=tȷGYP1K4a~n۲:3fВt0g$BHm?SW 4-m36ўhyRvj$kUW]Nھ%4>%kK-kLWMp v%O"Rok[SUp ӢiLduש`[p/=Nr2}^V\$MS{6b=+ێA ܬʉAb8R:ƌ^kgYZ76b186a0a311f36faeee93339b2c1dd852f6eafe00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02   MiniML