SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 XX% l ] IOA:threads=6elapsed=7.283cpu=32.320gc=1.348factor=4.447zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K S;jų/9Y*]|@@`07ms#;yÁ!1Xk{:Yz/*3M*ɭbO8Zdo?DvgZU[務X .QQwv1,ɿ&'#r >y$+Y;s i~uXe=^"A._63zdQ{ps_Zc748?W_`͢68nT_ Cb  >0BV\gлg9/КϺAcCvkHn, N=738wНAR>Nani7>ZBEG EBz0Zf,ϾTw*GB]'J}:R#9eEGJ/`ޢ0\n&gYZ7zXZִF! `|]ŗXiɟdN'LvH۹LB5) x҇L rb\RY4saesDR: Oay1mkcV;-,hT:LJ`e@Uk]yb2m)@s -]39{ٿ,4;5rp^%ӲUQ9Wb9'{_nˌylV`z+GYv`5x3r"DSV'"(VP0 ?I{.YJQ y Ϥd1{>w]sh8|0qlBMR jc6Wnrs-# gYZ7zXZִF! ,o]ŗXi%GȄn3ODoPn2DeX깏qlu6XTT,;3v14 ﶉrlywrjJC 9Ѽ3+>;!\F\q @T~DZO>ssXcP 6bgRnlΌM븹|ʮ :i"nt(\&_oڱY#P>ΒVQ遷>P/RdЕ5ŒdbtZ=buw!ջ A#HnQFHƠ%3~^-٪4WޜS!yJm&[Xz,!Y(HLM- ?HWf)dBPp<ٯ#ٱ$U {.ʅ10,[=/3 F`FfD:_Lr~6B7\;uJ.A`2`Lj_½WޤV3H qRġb,Pk0eӐaw8׾ZťE{}6P= 3V~қ1[zMShJ=a,w-v 2J-wJs]/ݾc:@simT_dO4 ]z}۠8ɟ$mS rRh@r~uB>{{_ ;&Cy Tqx3'+ =^S 2,T!L;[-=HWskAaC,5/Ui:mH:`q p>'@ye?H-t44h?.g_p37eO\w5CÕ`3{ T@ 4ZyZս=8 \zxA?tFUGV+gؾmkƘSQ$f_2ٶA,|?rð'Mé 4u8.WrFU&KV_V}7Pˍ,1ER<ˤE:SI0ELkqec"z 3ߎuu3t{t&ڐ&ʳ'r@6'7'fgJɋG6l4d;dž+U7=]y&;