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  R R ,$ m SuperCalc:threads=2elapsed=38.896cpu=76.172gc=3.412factor=1.967zXZִF! /9]ŗXf1-q恉<fUZ$d{s[ Tc _?aڷLW&>ۡr?5+|p__3۴,ujU^{6ނ\~!qV]>(yAduW:Ìrosdq+ݵw0>U4wI$Zۺ'CUl("k.t [ȴ" 2 ɐ!5_8&``% .˶aE:I0f F$cZ8@E|k2;OرuMll,Mg %jվQ P7,%I!Ù'AH FS5%cCE*OC"Ghk']Up%yٳE3P8=qZ>]5FlfRZb.·s/Fɽ4F\(mG%ѕ˼D`FБea k"- #&T6'tz p(LZH|/EWlscڛ?78r tbzlqBY& /<R#bVEJ9ƑcB5VF&۸&..LJV=Fx>NRΞ8\ 'U{I*>+]G 3g_}U˰-f X~x}m"m?Wqj!F9CQH-<`‡gr[>_Ā*|5_F%Ψs 7e1i[)HR|).Gv!rpߊ(Q'r0lV2*[Zk9^_Cq2Gu1/9Xt4|V8cbl.k>' ^ ezEEw q:o/N^h~^V߫FO͋_|VfLpr>8]g>Q{yYGFe>dYM^#?O{f *ٕr˴wMxVr`- c&L)8lV UUi8ATȦ9W2ʉQBC99%xCʇtysLg{M6D뙫T "! aJbiݣ4@ c*F wh$ ?7:ӈ9e^Sܟaf򑍌^9R~O o'69LfΙ,PiɷSyTki/h9Q<DbDW$OR]Hn7s`>"*-t4-=`"0j's 1' i37dv)DqXw3O8[kEԡ:,7 ?o.|Pg* w,[5c}L (X(97PQcɮy Q =6RCdF;*,|c!ve4lwɖv]Lu`WS.XqT9oQ J׉XĶ/]; 8Z^[JA{}!9]1b--O;p $4Xֲm2^Pdikn&`PXZ,e{x]QTP0ZYѧ|`olaW\^-=DKG|cCiĤVtSi>IA/Y.7X'4ɍFRwխnez \tg'= Ϣ/4:0QEAB-Het1'FSpX{^wٿa;n5m0{kG=n`_+oW q-Hބ;MLO[3#AfGW#`tn>|*vqcRdOgOaz64;ϘE!bgkB!#gӶ+F)c!%|ƀ0?A3C77+oR[4dXc\! U .uZ V++׀I l5O[iK߹T|2'CkHraU2)Lj폓0 S%z"8SʐKZb0 z:ŷMHkJ !;Tڱ*ݝ73Tg*$d[Yla :o ҂X\rLˢ2m=+ã{gzKZ67JD8#mOsUHi`yk@Fcd uC-*usbD戺9ycZWh.\τ:pjq͐!+뿶%~jϙD;Kf:7cTȨzGHEDLpy" Eau|`WA#fc5]-r.R_/7=af%?' OvZ%V6 3eQe=N{0eBC3Rf]W6C@mbs}xOMH 2}3'DpOWrtY~RE_b U} Բ1~Kz) u?>ykw*G]md:_s7{>fh8M {k'mbQg`W\UAv;bAm1DΙV> +:8.[콽WHŵ%. ko‘2wzgNϸQQ8*jX7{) J _ċsn$XʃAfPf6{ur*ߪbȗO@HsYoNokvټCa8ӍM e@~L.?L2Q91B*H#q1(D.rZ. eb?O"Ak) xUx(u!4pk`V=B٢FR0.L"AoMBqɜt*MA'TtAGdZ,cPzIO}&aÖì:̝(,2]mu}< u;T1ʛT>SQlȸgj>|Q1v\t-@qUp-cI+`SLj8-!GNu$(KkX*:zJ%lQ91:RLu(}~hA`"V fqv'X]`zLͳ̺ D{oʨ|N}lS[-'mzVHd @m7&KB;:_D&<0ufm* M C#a.x0 O"d0]BƶR^s*L5DhY7kr"f]O0% j$3oVY趜Ll}K˕On>\DzOH\$8~}Tn9(({(ov!L9h0;JNnFQg":-i_US}G:Hc{ 4p iVJ+;(MD'8*~>ك^Ka.Κ4‘?ۮ,,کrJш f\A6ON XZ#.L 86Cۇm0L" z\/Rx+}E|nhkܷZOzاczhJG޶qPfq"tffQ $98.0M/Ld%M8Qv雔.xW`RtIvr Fܷ]Z7"-SӉ6 FVyKO1*:BE! ﬘<|KiԯT濝+@zW*Zע Ia~J>*& pٸ|9`N35%A۾Td"}8I4&?N5.Xƶy BOˑ7+rxX5T M7/Y{vI*8HJrXQ{>\XuŸ́Xt<@B6} FxQUR`GQ>,wgrVeut\$#Ĵto1l:lېQ'#)ad) 7$B&1q!3_ 69v}Z$:r 2D c"8pq؜Dw3dn:M+w\gYZ7zXZִF! J]ŗXi%qa52`_D#Rn.ʖVu} 6/9DEu i>K?1P,yPz* |W_o U.AkXpu\m͆-̿!BG3ҳjߙp- v3Q‚E>sӛl푔~Y_qٮ_0dLV/QB͌KSg< D _~iwBH$+[y@@2/L.k0<El=>߉&O'$"gjs)S0az;D-/J` vZ40nQveCgOG@ǩ+f 9.^nCwӤ(0? |Y3c3KUGqJگoYe43&?(#$R+u#qhB7Q0]\c:bRmDR;@x-aGNɻJ W13R[kLīau%Of|'Rd \L(NExPYV*D,EN<H8f%S "њ6C3$FJ"`9e;1 ? u+v+; `調^=|vw2n(Gi?Uϸj"N̖\|[ ItO8(8rŸV؇6}S=#ϼ!ȯpQiɭhe`Q,z,@ݔc#JeuۨɘB a> ,mE*X˼*-hĨ/!:ֈ:~ͻxII681 R&8\0 <=1ckC_c(2 R ~ꀅhi-;ndbMp᥆P`yL!#u`;Gg;06Pt 1-@DŽE-M9uG^ >Y $l!DV4|q'NZ["¼o{x+=>"* `?E/Mx>. CZS 8Eti5vljNEY ^ʯ3RݦDIY6X QSOS:$:^)Zq/-Ʊ9"\tq۵5?ҧ1OH'9X7Yp8;:%nsַZx@^3* % t١1iq,neŌGΠbj~L}LÉ'}o;dfH=~(O4 ]PW5IGY! {#+H>+vKooUqrl FMNy­sO~ C~i: ?d8IEKK7ks*5XE>GqOw 5k$.B_ZL*VJTEk WQW ՜m_@om%/mI?83? ٬(im:/iViж6xNzҶ?O(9o#1gUNݒMgJP+vD Kgҏ!U~Lenwb 2kRD iY" ¹oAߕu]#LH(ԶC%\[üۜw ;ȏ+ʗ>e﫟LR_ICKzhl /1!yzYm9}a*j,}qY6l8>wKݳiΟK Zl^ , ϗ[z~0i!pc$`z IP j"z1 zXj"G߲? =NH`?7Ca+mt]L]XNT6.yr<]ѬPp$j^C}ͽ2r8КZ3~w9aUA[ڻ`Z<4EQ~֛C2 ^#f8Yune/1n%]w*­xzIm4#ցR+ 2mpy=0b3~UMG^a" ]S)`.AiG;VNrK18T'޳OllZpIĉNՀ(02-2s=qOJŹHީ>_99NأRzQqՐ4iNNKkJ.m >rD!ti\6^V$´ {WzlWQ$7bMֶˣ59LX '+:6G)&X#߮FؤW`٤qnw!gV%q,5܆ Vt Ch10]9حߠW4wg Z$#?5F_o {Fq+u25;nI[tfGD_\8qJA93 7 =R,:5aѴ