SQLite format 3@ .;  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 || D|| ] IOA:threads=6elapsed=7.297cpu=32.568gc=1.500factor=4.467zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K ceF蹓}byJ|K4?pr6٘r'٘ӌ~_LLuf5 w:z.MGk~>^㭿1|-h&ԇwxMtxBoI{?H{*!uH_2?/-;1V9oY>e435WpND, <8m/d|t8}nq <,HCtP|SU,?gYZ7zXZִF! `u]ŗXiɟdN'LvH۹Z/>K;+CMFȑfU&&T=:Ffö́l.Hbx] Ζ5k&⨗aX Lzz Y v߮KzqCJM9 ӱ%Ap=^#h%e.Ɓ~PoVcI ot`@Υ/ao:U_vd9;@e? - 2h "cdIE~T|iS?:zGBzD*޹DˉAV0mxK60qhad\ Q~eDsB"e `ț1gYZ7zXZִF! )6]ŗXi%J# *#Pՠ?zv%-piM0Rz4I6yݗ8A?hW~t>_ $f%N=n*C7<vRH*0OWլݦf2o4QO`Vk}`U v$Hr^ ١{xk mPI sY;$xɉ 1hDgoޫ_z :ZUǓk!m(!Ǭh]~(At.jZ,wVUG5΢1ל ()2Є4$3 /(ӟwPH_yՔL!hiR~ M"~?Dv/tC,lwwDgo q[xRx4\-E؆P;xBl[ѓuv38YHi6F_"H57 cS0Nb!\›8sU!S849إz@d!ѻ>FW@g1S~%njrX[IZN~3oJPY^414Sҫ Ap΁\bZ+`w/4Y¨[pt4Ĩ7%.q~MSϛ LX;dD eP2˙}KEԈ!E8`EX<O=7[R51\{K5U%*noUw|ը &߶/  M