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 ^ 4 m SuperCalc:threads=2elapsed=42.761cpu=83.612gc=3.832factor=1.967zXZִF! JZ]ŗXf1-q恉<fUZ$d{s[ Tc _?aڷLW& n /?'vkyGQ.h|Tz '#f'[lɉ   SuperCalc (y#@['uN6gʍ />z=(JBV6]+Ē4AqvDC pf?y\54, GV*DctWo(T𻇄+qPk1G{I0}9k+;gOb mN$D}ԱMT$Uo^lﯹv}(/j ]c #R| Ghfzv YlE.wV~5a1jd6< >&'xW]4K>sFwmFNy0<0`^SOj7<ʓPĜR+^/Cǒ\ 2|W z*+Ur01 ߘZ$4UʔKq7deKuR&E ?zw<B‚ `QbJVjkX,@4~^4]`lyZ֊A <9n>V`}iݘsj]^,Dƅe>ǥG :1-2OPwLRX; %#^➙z`q&mſV"}1Sq8֏@A0@ZtNOd4\;e-zGEj{-lڇ~fЁ7+Wf#uL}-Vg~bKjmVo}Q=y>"lͮ3>n~8uC)W9(e_cZ PBH7:.wC{䈄t& }K)K,Bp~:[8Dеˡ0>_\ lX* ?jUq7j-zjzYd幡6P%UN>}zIu13; OD"e;t, U"*Л6 ˳+ϭ$ԄVm_d)ŶBGf}^5x1yo(oO,sX#\m1cKNV[qa)ÑY7r(_A;|3<1G6<!=؁!+ "" mA,ÇGIncd$1oWdPQeP,9>DM8+IFh}CH܈T7sz0J{ gҮƅ0Od*J Fn9S"Q|1U3$rJq15n.¢+UO uz p`p_))b_;n$b &Ѳ ?ր? RGVsk-&< v-u7~փ:W;l\)'QVpfȏs/o4z\T¼y.7Oڼ4Pr%A*Y6|DiR:AUϡ%6%N3>'.KQ),dw#a JH# xw :h`.(뤓\N lgZsQE;6Q>v]!exeGbtw X<l&`cgivZhwkR*DiMoao4l7(S/)_>&]Pa| LQςoP'sYޏ6Fa[ cu@V4L#yNQGd$OF3uo"#PsLꝚhY/X`*gB}㱋t^3;~E+Xd(rb%cy2pۗg>W KQ./P& apPgl[# iNF_Vޒч\;3)(׉3gP.~JvScC+'r!)Ղ}D#| FŃA)Jjof%`YN`2d-dyhD)nc}/p(3jQ["Ր@$miV{M?Ng\qoRXW%%\F1SQ8k:@׎g+#y1L pk>+PfZJzTxul?Չx 4+Oh/ߚ`·P&_ıƚ DMh4x%ۢz%N8.xͰg,L>y$jzxo䩜@CmbEc#?$-ntЋX\lv8,_CThO$n̗Nbs.t@1~":/ %GLSodBCAP5PKe͓P_p/=#]k"Ev`~YvFBPc8 f/Bk &KGr,_+b,ss7IHlkpT&`o'"Q7؎VG‘9rϙJ{4x&ҘPhjz0jH[ :f;R9m6Lh{*TLuGIƭ[_X vT6K׏lKa řm_<`JpK<_3!#L/ Ga|Eb|Q n+ -'!鮡y_mN1n ֏{J^mLpQW: ߵa~Lu 2˓/ղBgV ,ip1t?8)]o`pQ樱c!YJ sv7rxJG8֑!a(^v>ݤ Z,1JY{LoE6>01O|3t1'Mޕ-J\vQC&0Uׇc $:P} Bm?t!th vbmZ SWs81_QG& gcL M|Q=ڿ iH4FqUbe* m-[x QJ]gEM$|ANz}oR:d>75󙞒m|@ą+@%^ۉbt>8UaVCpw@uoGP&N k]fo$` `F0'͚!29e1.2##o/#qe$QF7A9Nv6QMLKJкsF?dQee+Yp(DW P2XOT<*im㜼i9#0)3M_v] Qs CZ/Z<:&YP"X?*,w:0+r.Gi HFJ^c@x')5zG/}|DW(ޞ*65Unu*3h*3^B=/c/WD[Md&}$ҧBfCS>D>>klY6fdmDX>9 rh2"?xZm)KSS^J*NJϪUZ0kIa! ΁7=+2ըr.'Q7ƛdW(wXT~LdZ1f0 1O^w o_0~ھ _ pgcm `C$f'J`I a %a-x-6t}{~f *^ PA+(bZR0/8;Y4&1׎=g=V\J7H zafl7 R Հy̩GE;{`t9sR}3@t%Q~&#̸8:8䔆fq #` MaVN9_a8h㧃A+gI-xeR29e "[͟wj {b엎s!d[QOY%oͰ,O<͊,^RYp2RS286valG?$n0x(Ǭu>FGtV >W=|Ef{R8v'ʶgNs0|rEm5G'ƒjz."`"]U@ [_&H,.۔r<#gYZ7zXZִF! ]ŗXi% cRtdU9H? 7aEXS4c*|AzU: <>wĝHӗjSօpQXDZ^dV>!ՙhς ?ZglhWsJFPgk4YMkmӅ\i0z%ʚ'sj[#?BX?͔XqiYz#P_% QI]j@N[qv8ʋHGpS)4ݱ +8; q{`F~V9= s.BUH u> N1?,#Pua̳Xn3_+ |uX[1f@r<l_7^ý=;$h%̮j$ep]v9-f|J0<3g跢O- 5HTOsAVdlܯ'+0{ k岄{P?M,jjϹw}Q@i8\4ٳewMݕ+vSw(iZ_|X,כ̀gOq%w]q8n'b]ゝX1T/tDA0>I̞ 'p?vҸpP(́y8+Hҹn]R* 6ذsQu)hw6㒢o" u ډ3DW%*+KEΣYv1ew(%_$8WwR?%sm߉Wm >wYӑԗUdG M[3 ) [B+94?hpSiۇ'}Wx!iIgA NMWQf$f=` RM'BS$Qf`6vv,JaPj8n;k1-YhD Y_\z":322]YFG`#Z$ 'fS_vTORM #D(tB^TO֗E'*20ުceh [H~GZFKSGyvoavg}IǛ^#BLv,/cY%vOĄlK> h#F-> ]R;ڥ@6+u6Gbz5)Z$T)`| IF]8t^*DYF9RDda칤1v^Հ!{dkt\(_5|j+ٞZS [V[rˏ1v}=` gvIe+{y{7ZF6КE}e0`fm,Q0JY[=8ۤ8UOv||.?b@p Ϩ'6:T:1rseڹ|y-@KGa=3.v-ftOqc7SC _u-}hJ̄T$HcƲ F}|6o5&ADmȫk8; |,_G<8C7=LBE)Q.gWUs0i,9Z@WX90AOK2l\Aj"q~S?sR۝FGc(m~dȺ |nJB Z ~Q ϔedj +/7GoahIXF0 w@hNaVLfaW%& #aimeb%Q'ϤS+٠smFkzvJJ#$*>AA? o49Ua!@֨RkP6ǶPM/|s8oP\ԟ!& I7̽q-hVTC/k}[&H5$Oþ"2}~< ~2Xb53ֆ.@ d2 Vj϶Bga^,bܞ8 m<\! nh s