SQLite format 3@ . BBh77otableisabelle_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  M M()4$D ]S Sort_Encodings:threads=2elapsed=54.720cpu=105.788gc=13.420factor=1.937zXZִF! F]ŗXf1-/6vR[]+rPH[yk)163{+x VYRc'q|CACE$R3 K&η!>M"2=b1JNٌ#H(`ER·Ԏ '=H~W DM⭺r|FY6x3;$J#.}moδ>dY3;'E*UjNp XQDb4^5\<`ψŁ+`2LV *|:sZJJ`~»ڔڦJr=R5We{?uJE+>MA |eo2u6 qȩK7l$8թA9^=WP'IW,:[k 6]d\SYf94I:JcݶXT'b~ =r  7ơ"/BG0AQIRvn(DUON~^UBy'(TK*OsΗTfܘtèsV3@u`X,bTY;dpC;<+5c7ҶqJ NO| 8oċ퉸zknF1Jh* G5غieuVd#fgd0+7`/BC[6N [5k!f݉ݫ f5 JF񹧯!4CҚ}eKdD[snC: }E@KīAn(bq:6 t#jvdy$ W|yuEM“usS}ZI0؍zѭ_xud3ݩ_RR^Wjd4Zll`a_hCd[k6׀-?, Y]fWLh3t590,WU2N { |w,WP4c-Ȏak4䧄u:LSb"gڕ[,biT~%z<8ZYсl&&A5i6i[[): ^_}d #FEsq]z pQD+I+c҉xv'%᩹q!ztwTHvy8R#;3U ) Sort_Encodings ^.~/RB=7GaSgPPd0~݇NEg%"Oyu޻I4uHC_ϴF:o/m>ezV޹=fLWƾ1=Nh)GXœ6n[eRsjЎ.&z+, oH9.G^ݸA ޮOR{-@Du67I G<9\Ǯ%`ʨhp(b?3A ?M :gYZ7zXZִF! J]ŗXiɟzlk֢UzYFFLhAI.k_ْZ*IV-g*.`33qP9^2{HW[ :)4I";^@H`P&S ׁSxfLB&{kL+໙@e tp,:|.f@75ʄ^éy'0Ւڥ `EYG0fk`(Gm4Zs~ݖ= riR!J!ؘ[c}wƞk;=3!zAHJ8^<>*R41p=G 捭gYZ7zXZִF! ]ŗXi%;:X+֣RĶbX{9`Pd ea:ŸMcBK)w CfvM9SvT!KL)\@ 5mkfr2=`"ӀŬt|NK=vވ%Z0~A3( 2F͜GP欩'1 N> H$?\'%yJ6 ͡L#}O"Ы+mkVnܮ*ɭL}H~Xpg;UHMq$3uqj X覙{4} ˡywG{hgjacU+c/Pڐ}.W-A"w vDTsEnD5gxulBt! uRԔt~s9]b['ϊ*6YJ =9PB\}j& ){B =5&.Ӧ@4њz_RRz$ABFc,2I08z*d38{, vl LN,UoKĄ@cJcd"`x}Z- ]uVʹzI㜰WW-يX=,p"$ՆKRa[/J,cG݉$ŲEIԼ\Fjg5Տ}>@B5м!8NѠړ& }HxȮxpb5BjXW~ N~kv̠s'o`tIuA%(~J98T ǶO_N8T8i&έo_9 @{v!(TzQu[]Pg,\' :M"rFE%O ҝ&Fp _ =(93M!1Pm͈xh!vB(˦o :n7;cko&qzj2[ uM"M45YMJWCvp*~kD[Gmq+cStr7vi)csJ2#A"#s:݃EU6Ub\ VKLɥ35dA@ >:f7{5u+$~ \^!)ѨscTL{Zn) **ndy{kBFE[]q41/ƹlM|b/nL1FG42*#`C]j>;ڈgz&pH4!d/l\tP 'V{qJ~< f;hmkP'Ӗ^ 0:XA_nE戏vI;m70Y孁qAFf42NbLVҘLr@v{Arel˫;u c+8Ί1M(\NӠ=&BfBT]E E 1N޹`rq9}iȽ72$DŽsa('] 4y>34D&@ $H=-=wsyVM >@RK~qqX(?q/f2V7Qɭ>+k[K>FK3Aʻ랉ťΧ&a bVXSʪHj `:<5Q0k("~6shB|fXlC+v )8N##`{$[ z='wDZ,Gma'Zv(zw $ZElH"#lSoLos>`iC}(!!DGC!X|1;&XG岂i;֮d\"GyzӯixMMI"zs|# +g4@1H:TGpj!ˡjTbS*%t̛ybGVL5.{lz90b<|I 8ik/irZ,nك9}q' #7(OH?q殸]KȨڿX3h(O |naj٪-@u'Q'G$1KykAPx+!0xK z;#ϽM"t*6ԒYJcV]1:ⲔCl~8lwF#%&n8G*YD8J1Y[(?r8vep;?FA6G3E aH#^`S6 /б&%?M#Xt1_R] yHEF0;Wwa /sGϿ.jsxz#(Ʋ.KgYZa1b67266016a466d56c37499a90be6e9c254e16c19483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 05722cafa430ad5d32034406e0ef9a6274c6ffc0 dc939cc351b5381e607cb0b76b2ef7c2235e876e