SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info F  m SuperCalc:threads=2elapsed=39.444cpu=77.092gc=3.616factor=1.957zXZִF! 6C]ŗXf1-q恉<fUZ$d{s[ Tc _?aڷLW&Y!Ucc3< wEpсJx2G8w@)(&Rih +4> pZPi__-JU~KLodNfswIAkܭH|qup|rrzSlЭ1D3j tA)ࠒ{&=QTgܸ|g=t9s$WUb,'0id3,[0C&K]T M,ӿKzBn ّb !i8Xdcmc =B,DbC碼[ u5o:Yvb$^ωœԄtrenz*|ӫϯW`SKOf;[R& rSx0Bΰ!hgtٲ^"g"٧Vcg   SuperCalcw>'uyl8M8Lbрi9G;˨|k~ߵVh > QV&0䮌$']I7'~Y1>(&mdIC#`RHvo!DՠAG )P/y_)<9Un>gW^`a;Z,A"ؼŋncقW Xݬk񠼾nCt^>'N1Z{'4yoDJ}w{xldK Ih=aҥ; nq􄸩~6oc* }%oQBsɚ蹾m"L,~:#|x#J9OTFE WȬzbi^`D+FW?*Q4N.+.͐8F=ٴ1fꊘ_ #ٕ&lk9sՁ[ډ}M p924 <{iLK[Z'&kxf= !`z9Y9 I}`!; 9J@L_ncv38l|tTN>QĿN[#{>0!/51% p 9g]\?G4CienkwwG͖uFr>P 0dg'+i M z"&km_bՑ;#䁭mBZ @s<<-K} /d+KP[Um=?) |2!CS&5$~?.L:ϊW$T8KULq־=@1d#ڷ#ƯJOOP ?MѾgTlg!}_s?}P28 iq}PS wk ]c;JPM~PDv/XhG'<b57-uxD<;d?YC_HD3#hHޕ sۻ:fj.qx aƈJBe[V\sGg2HТNpH1V-ݦ?Rkbr) NfhK<^ykF8B>6Օ.j8rY57:qg*O{"~_/{ eySW!<=Ulggfe}J;~kLW ~~22c #J9Qjeʪɢh*Nm(кi[UWN!3>IcU0rz?$wJz?"B-xzJJ4(y#{>+4\v VWŋ v4=3OP7Q%zյ:CFX$TPŨMNQ3({73!.w%@$PN:rOy.fL_/_ކZh VxJT+"mT{ .\TWd% GD~IEACU%~m"KR KouxL8j o>01'x2nU]L9A2Oᖠ̯:S.`FaXOzfx n x#2}|Qy5Rߨ\ SZar_BWؑhg&vN!pͲΙB !mum __rN|XK` +='Y p!:C=45hxYq˱n;0̊)7T=?R[ʷ~ʖN{}vjbK۪wJ׭H,1Tw&$A| kXcZ1>h6rVycNX N[t/اW#G`c 1L&lxG` fKI8ޒ#ИP@_!8+&m>IV"SǤafѿF>oP4,5MW 01JT"KA 'G-<mĞ#_Ĺf)T_E$wS'}j<7*c qe>u'';IH*%/3ļH>k&o 5N0| n=1P.Ø;]fu1EaWe ϰ93zS.i7/˓,zO2s4b}EQ܁6)ݶ9<jt)zsoB>1PZV@nfC%{6:f:㤳C\Uj-8V#1YϤQe oV A=oY㼌ҚVJJ>GN85_vU]dD7x\:Ϋ0=vK|[*I* ]P65trC?ܜ`rHpͿNxzOR%m:du^'I8+,?%t*EхC~'/ U?#Z4~1BGU<㗨^lV%|?2{9qd[zn쏐լa1wuuQ6?QN"Q PPMo84]okoyyuleAnѦS Y? Z<Iۻun|{ .n3 %2*e_\&H8F}Y U0Ċd9gT4nsvi>hOV-=`i+=z|ܒPd2exXlcHt=a+]?tk3F6h*_ zVz]Cz (L/q#?tR-D +rĸw;^Fmˆ'JJDǘy"|}0b+5y*Jwtޮ8#ٖ6xWzS[`,/Pfroü` tM0G? T 3ѓL{p ab1_UB!&rj?D]rZM#GѨ/36n̥H3sMR$NLAxsyDE |I⁣GŒ6 nf:{lU9M ݕr v)wrg~[%Hd5\滈xIa# xY5JUmnK%Ԭ!~9G.duzhSdUW@m=<$FR1:}Sx Y/4r<ݕsH7<ۆIiz;2 v\_~̶gV =啳P*Y9/*b0O dߘWmSAv.pr~YG@udP2ڬB U\:ycQEx4rThhA't'%hwH3܁Qq\`Xȿ)$t x wM+| vJi꧙ʑiVimL0q@w\*DپVwhI \Tbp=AUT*XNڙB!z PT,lKnꊬ3$9Ӳ^QMcA* tPBʺғƉt4,g]9+~ԴB 4|[j}7n,nnc񝷧+8& q.S X9)}&E.h >cr Qr(-ڟzl nd'gf[jLPR _JW&^GQ|G(C>ҁ1ӲVҒЮjT9nɅpUMz(s:^-,oPU0蟜.LRݔ-v 9[ui91-)S%h7&+ޙ =lJ/}s%hu"1,3%*?5Dj& X/3+ gYZ7zXZִF! O G]ŗXi%Vo7e`Pg~o)=/"0U7c `F7L_yaY&™V3@mH#on HBRKz|Ug]."Dʲ^1*ףeĥ濖ɢKwmE<)$tWULc]4oEBL̽f܈R2=LϤVMPh[LSP4o~8@ Tʷ RO=B:ӧIݧ',kɾK]O2s1i{D?+f6<KzF*QY[#0._h- &戥!rrujlY+>bJuWb~Bجq&$pzVyG֮ 8@tGHY h gjxVsn#`}u{v Z@qG\&@ J%od8+ʖ-BISs DaBykGa宲eϯO|2=Z]>G|]D"|)kӍeV֪J]<3A51gr7[]ڌc̗0WEU;(JZϯb )q==jqMU9Q(Yb-,Xc/YH)E1 J@O~ŽFFboFIt9Ҏb5ױZ k)y@nԙ'"ۏ' a\_!^Sn=ASΞʞXֿͤݟb_!+` gvNPz3ȳ+DZDwI{`3 /a~unKvmI-؃Ng tUZT-#~6]!%&Z5_ (fue ~o )bm_p>V 0޺apl!Orb*!рϾAUDJS籀-[!ǦaG}˅o䈎&]CsF2yk=7.v*kݠbAd" Hb)Q3XQߨ:iPYŠFm}Egُ=H[2C@`F3݊(=rDeM Z~'y0HϽ !qFt}Mq1SXuC{{os$ԤAVGZ}}"l_q3XG;ڼ8Xf4jSHGxsxCq5N]٪@Qo,m'Qqߨb 1;B-@aĻ|ETTdnWhTªp+xZ85P_\ 픉wV\!wǍB֍(!I%'Eu4GK:>3Vj_to)X~cA cM5d53Po=HL7l`FEa6x;@2vxŀiƯwz>WUtr:. Gnd#_*'}SkSٽ!&Gj̐:tA j 6hn5# :d*5%hZGsmԳ݂uBvN"q8 gYG5Ƨ˚Z3y$k ;Wxxq+840UtO?}Oa;npoRInZ, ,r-J$zJI4vZP$$գi>ȯ\U" mqHޥ4dB|gxٰNR*䙎bJ]!jsBYE nvt{ߘ|:ƃw^ӫ[+L: r+w /^꓊P NVns66) N Tr_l9=%9' /! _*)m}Ncc@,2/BKg@si +sox5Ք[E(Lh~kCPg&m4բ`~E1)NV]i"/:訔w2Tvp)Y~g’"Z'vs5Ț%~%n o>x>8jAz2d^rCHP=Z'.< ґv:5 #Ը.=׃P391cvIRXfmMgg{p4_Eۅp+*E4A0k#^ EkL([vBRb6oBpO͇b;QQiQQ%CRj$i㒳aGbH>/5]a@;*Mcы^qT|ŗ.wkrG^(/+49Lr60uo { A~4ô*l-᳨3&}߭I["VMu1n QbM#yQ9*xo3~_I3V2b$?Sǘ[w0J1+wzy~ݹA)G-xBeE䪡k.n}w"j)tG:.X$О