SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info J/, / HOL-Types_To_Sets:threads=2elapsed=1.142cpu=1.768gc=0.000factor=1.557zXZִF! XA]ŗXf1-q恈'+]&29?MCHj=n(P"Ϥe۞(Ohf3@~"@ǴÝLSl [Գg*90ߺïOj t/;x֬e>uA&DU'M3! H>mR*r% / HOL-Types_To_SetsUvܛ Ri_5wK R<3 ٪"ۈ&Ѡ};^I6+D_J(88]RuӂWI>j'G:qjR8^ȻL UA SgYZ7zXZִF! ]ŗXi%Hdr{]S9/Gf )6i^7c2p5 qK?X{>>pjQDh9#tUR*1?}DR7یᔂ7.Qii  d }d jKʲdUBl(Si)̆MB7y#dEzp:e{[i(ZryM:L9Йjr}kwr~Lɖ'phD:9AJ |Br׃e]+k:p5has.CGrj ?a7p]Sf&Ë6#ϓW84WupP.k*ohWYT7 ;w&A4m[@EGv^gYZ10c9d15ef573882b97aaeb35a7ae2b5882a48823 329fa7e8f61a08ff01e37f2938689d344ed0f5cf 3d25c66814292285c616395bfb17b2d602aed3b5 797477902c2504b4a2e2a1dc7c289a6d4971d165 c2a3023e62a8a7ba501c7d8e844ac5e103bf652d d6d7e82c49ab13d543b9666fb4b34c3dc3e99a28 e14af5b9076a9f726d4bab9022de27f313a84125 f82d3b244f15f3b4829fd75e899ab0647ef25bb57f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16