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  t\ E Codegen:threads=2elapsed=10.883cpu=21.216gc=0.792factor=1.957zXZִF! * ]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=b5B#i\wCcdPL"ey`]`BOv/5Cɾ쮳'b rTFO:ww coG){e}t   CodegenL3d & emlŌ Ы8qt"` nOQAm5 =ScRinމ <jxfrS*6$(Oz7"9LƖT>Jkc,+.A2 FK;| A~ JUw:c`t9Hv|,j]҂(Kc)8 I6VO}<?S%- %D^&uf ɘsrK9C=]jd~p!ڤ h;!Ac{h!Cv-vit=,%%r>-s߹֥~] WIa ?h K b*DΛM)!#Z9|ވ#]!prIf7f4 G ϸ~,a#H6by ,׃B]@g;*~ /A4k}E!kJsV$lN\_?wW](<&lp]MI 3I<8QLm14/J(-ɧQ6uSN5^RL8+l@#r퉫"U~K[4nvǠPB"M:F-dYG"-2M.+ r5{zL24Շ+/o \-y^;Kz`'؉ ݧu،J]H9P\MTɯ E8H j04J*iΟ;eWaMt7k&]14@Hl氿i:nKD+C eDK(z3eԓsF:.> }170kgYZ1450318564ec5ae381a147a236be036968537a0b 296993b783a6d9569ce1208126a268cba5c0594f 31755525071793d62f6b61cf93fb27d5793a7c4e 35e7eac4b98b099364dcbd421c981abb035e4d60 397c35819dc7cd2d2391a71fbc63e26f708923c5 44964078993460f0f254a4099360d8437070fd6f 4527f46c057bb17c7846808d36197a5061922fdb 457d02a572a0fdf5e6d683531094ab0706112941 4b174e346e2b2ef68e63381410770e342180497a 5dc9340949395563724f9cf409a41f8a30a033c9 63d6ee3afc0d93215fb684f7b8e57b1f65214f34 8f194db846e67a7e87b25a27fa8ba1259c4af82d a27f8b981eaaeb1920d9e75c995d1fc3c50cddb5 a634d2977750efd14daaf8018feb1fdee3310b68 b549213b2aef49e3da5304ab78395d90a826e17d bc5569bd98f3bf6b9d8aa1009b2cae51c0d299ce c5b135e0d994f1f2cdfc35bb73356d594b9a2437 ccf76f9fb34684fa9272e37fe3518a1f7abeaf46 d9f64bb6725d95eddeae3e918c446ae5c078d4a5 da1567c528c0591b76c11bbf612dc90f71ec564d f0fce7eeae1ffa41a6f0691e21062958b47031ccd38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5 f7e3c79bbedea7d47203f69a8412775a7a17168b