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 *?L< Y]HOL-Computational_Algebra:threads=2elapsed=63.493cpu=114.164gc=4.512factor=1.807zXZִF! 6^]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(pm %c1$ D(z Ȯl橬 xUt؄a`AB65 OTd2rڧ^W%)ץ*$FrDf:!ܱiuy̽kAs;jñctpŁaMk`)`K݇KCxzYSyB){S"AЉupz@ѓ W*Z 5!@k Г3~kT,ƚ.fъ-NeCq.CX/];n0/v9$toV،%emFoAEρҲ3:$\F(;hI!c.GttQ '2#&zd5&"UF!:'LJN0cu"&9jt΃MAOTWɳ*E(҃ȃG.~90 rW^^q:D Xjʹւ,rhḓ(0JPγ#-;K|F^eQ zVj*ZܢB raK+犰[$[`%;Tiں=k%n7o?3/iS K]p)j9~& QLC󥔝ЖQ(ZЄT.jc~Eg+U(krB&Oq ج8N sD}IT_2ը>D '5jJcD ;Ú J^v; 7t@u?h%֮*v}nz1 9ʃ2 #բwI6S8qHfE񢡿GndCo5Ekd, LtQ[~ m90gYZ7zXZִF! $ ]ŗXi%6S90G b˽hVY Qs1 6&H\ƣ?-lZ}ȧf5-;Fzi{g~HnOVS50IkV]k1>29gD/~)l͗,U(z=xwSh06QڋAMFѴ(5h\zw=XsF`u6ĘSZP T fGPkpQN@͡>Liq-6O\biזer/EcxFTC0C1:. V?#DNN м>3'g!+oSX]˯Dd)VܓgR[V6&bWϻ:hZ%\-l ҥ cf:0z|p=-v%xX/QlZ ǎ`dS BHF$y\Oc\9I%_Ʌ`}=pg`Gt5 .W.WD]GV?HP/NJF!G/|_Aa0Tk=QYFJCz*:c')7{[Y Z0asfw#˼;R(On/CMövb.]Omd)ţ |rL{⃥͆S`j qϧmx0 /%fE8٣ɸsSBU]E )#*I=^I,]1F? 9m=e+ٴ,t wGl`J'`凁*w[L kxqg"~쉚7a&_b1_*=|16"2Ѵě">.eʕ s;0CgV>Q/71)ūxzi` Ϸbi֠upװB%F CqfTxUs̼?dJ H4}N$î9`dUw>پlJ> ]y}Zf@)<5έPlu٬MA3RAnJ W5zh`dӸoQU-K*1wؔz" 4\Tg _\=w⍰mcޒ]6*曥2Q"`M1o8[R'^=W[Ն.j 嚿emA МLjpd$x߬tLy^n4 7H8~\-'KK2ɛ6J86nѼcZ)qvP1J3 <~Ôm޵yBXeVX/A|5AqJ77AQQTNr6֗3E҅GE&{{~@p@=pe0o5r&!Rwck ǤEBpҖYNd'jDTHAR\àؘ$ ^fDF2#Wl4_`8B+[#G%C?{HJjW`}IqĴ `CTxi2:s}#D| ""-- 쯆!g0BYn mY¶mq:ozLN[4Ll=ju$]%u.8,nW Y g6+*A ^L?{gRu'jxi1ynL@)EgtxMD/SPw*}Čf៟C$p5Ph-Dw U)YH_$B[fhFpv _mzT4,Xx$,;!.DLܰ\{q s׮]In/W3sFw>(d^ "ەu >HY2Α_0qVSơ >ioI5I`VDJwNS?w2`' '74,yMMTҥ5ȉw`i@Cw"'mV(J7$T7Ïx$GGAf^?)϶>Lq|Ttpܽil2*҇$LQK>@Y|9/!?u\>{nJo2fph{piHŴZD #cXIY(R6MaԎ-IA\Fv=5R|.=uG"t@"[o5G@=< y=N~<32zH޳|(pY7}K3 `n p3/ɝ?ueW6]i&TLw-bx- RWx XR=U&`1ZV I>35`d&ӬhB0[qn:: _F}<{S|0D% ZĀ#{61P͢+%:D=7oTL<0'vʥ33 XT/P:wɆՔRlwc ]L[?cVXObFih|2,M)S-=Jnw%b؆'~῭/@ygG(seisT(ymX;/uNϦI6uɲ >Ǎf'xQmS: Yg)X[f1/ v-vuA۞v_Ȍ9}e"'gXW+|Jݭ؍t&/(˖{PUcn)>}R`&@.ݒ èOYl:H+(Sn!S;]R̜]bb9Y0hN STCR N\|