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   ,|| ]]]ZF:threads=6elapsed=11.832cpu=43.812gc=2.504factor=3.707zXZִF! P]ŗXf1-) enȈA"tr-j. ZbNVH;Sw<ǑV)Fe.'R3L+\NC03Dk7.ZB=u+ၢ̫2 ¢n- tә2?N},vIW`{y֛x7?<u1 #v' p4F\>oAlsƌFFZUjc^G} tz2r6??s?N5LД- )4jhpʨ\S0:B"{ )#Dh4Km$ҵ8?wМKc:3Z0.%x)!=E܈Rf6XTtr(ڐya<$sJHë)CBsғz(±gYZ7zXZִF! @y]ŗXi%Biŧa9~ݼb/$1%jo!h-g'=4»\rWL?fghxJ0]BşHR %̖&@u~#CwjENŵ@=/3v;U>voR`-r_h 0-)*V5&KÎ}K\"^-t3v$<@F zW $fD 8!}=Ξ+9DiRV?#Tng'ӕ~ f]U])7fI?َC)N_dc tF`PۚWY2Z]B K{93/4%e]~8%Jej ,?D„tK9k,F@hś #ѐ*@8Wr>Zls DOUO{0`XzZ*-ߜ>Pxw"BtC k$؃pbG/ 2\VާDY]sI%uVTI(˜:`WҨ~#̭"!dKסa9":$'5I>p(ax?,r*f3d*(.]*`?'lW9MQR`S`@yzpuAW-|$' Gp8wn,䛝~7; qYd2 φXVUrZq|q`ϮcC<*7耇BD3.w_E#U!o|?ɠCUػ|zfp5$ a!TNF;Ԛyfb Xk)+e&Ӱn!۫GG7 cY4D/vO{B0T9$pŰ'hxڪGI";_\Yx۷f xIʐ>NrܴWMI @xWݫ?1,9x $hc"(&A*<ڀyn Vdfүfuw[h:ʰCM9<M RKFKd n, EC&<ՄPv zЭmY8Mk zD\{€$ u:*vxc]U42Rb0FhxV2j- H7ys| 3gYZce173104858f511a691e66213390e0b132fff33813c804e8da8a74f383295a6bfe0c4311b16f8b3de0364c052682666b8f515eaaacbecbd90f32faf5  ZF