SQLite format 3@ . YYQ77Atableisabelle_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, "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  C C2tD ]]Word_Lib:threads=2elapsed=68.140cpu=127.168gc=2.928factor=1.877zXZִF! 4]ŗXf1-q恈͐7ӺV 6 hD;V& _w]ӘJLU( Lc-=E9z ;63!T%cu}?Nk{7#R 576II}X,@=i {pUU@ ~50q[0Zg.NzO78($J<Ujd`tIqF?{ ~= j][%RkNIe-lr$T"4=a63yز_Zѫ( ]qe0qvϲ#F/3эUk ׌4Wюj(-S.6UYymbgqbIJ݌#VuF3öf~T 'thAuIY<>~w;j`Bn &G1-^zF;;{<^w@$,UDnta_z `7D~1zW.Qo^utCv6A} }kukcɌ82ky,aɣ() e]YĂ[f߸{E$sdO;}yeS'|ggh,X fڠqNn 9T1倵B6hq-Tsɹ3K\ %PwնTE48IHismQfYF[H%d| .2@/ks4jA7- 8Kn?#px[1*Tn,p|&ۿT ܟ -# _2dZпY<"6*M{[mݙZif;H&*Yd!AGt$Ֆoz/kv..Tخ9aƈSAũ_V9cu1Ť{ނkBGT؂\f &aEQI̹ p~{s&/*"zŖh?z ?KcJXbK~q0p:3[ ˁ)qaԳ[+`#FC{MaS_8m=tWP;L\urx/Y=i.|zVejk8J1pU"8G+$fQb`6HM:n2`|FY0Y+ox죙$9V&{:ؽF d!0Vt}Zoz(fjj_@~G셧>RU- Ju]7}:nSǠPm^$ZCV"$Uw\!G&yU޳E@^ xP/="?ъI8ÓC{R0 @T{Y9拢KuG\:9y -+0r9lKV|BO=ou˟4$ϧ0Q>BYI t_D7ixc Ep D%T:.GP)eyTuy> ك 5K+o4\H~ "KMCCWW;귙 :XYM4OtQ#†V#vҧAy~R&[#X~o ;Hel硲9rÎR^ H*mLq+LT^/μP󝋈TEVMqU.p~LcU5=֭uQƤXWf a8`2HY"kOkq`׿l2$LCX#D.Mk!7#(7j/Xdp"s ΤE0m&pI:E-9t5r\Ԁ4Vտ1/ܐ8虑)4G!9N X+FMmx iM \ T,i9ed6"/CndPp Ƒboɑۏjrt# +~QtCO@b[붴B52mdB,HMVB{좞8iv%,3s2)'Y (B :x7@t* Wp \cC2$1Œ~+8;LnAvܸܕO{I=<|^)iY('[? KWׄwñܺM{$G (Tj~-]k)1.-Njr,"K(D00bfI>7[88 - VYQٰC.:]j._#c{0ȍUf|n}#qNiy[mӟUHG$Wof K|Z2 t_@h+olZo^W.Lm1n9<َ(X樥X`ۛ0|2yM{/ i1mTb9lT@`&[d(tbg@v-Rj& ) 1BPZhlx &dŧ |g=mq;mC,mLwx}_'aZ;Trj(do2AW55vS!@~ulx0SPU>NI.#t4J . kdcfd";`Vu/қѾ}In'4=& QQ#6ڳMZ$O9h*H)+== i'Zf a!<)AoztU?m1{"l0HGE%\pǪii&qM5AIR5(籔boe $>vZ!% 7gNZ(.m!V)z_gtӕPlコeÔ kS{!0%6jHVLhvӡLrkTt1j%k8~J-;DEl4q`ϛ Js/Ս$ß|8@_T^RCΔMBgYZ594a17018b7fe391b5bfb9074316a9fb18fd0db5e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e a642933183b53fca718dc59a0bff9e3d876239697d5b367e0c308fa61f1fd0db5239f07026b1d92c