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 B TD m SuperCalc:threads=2elapsed=41.651cpu=80.104gc=3.604factor=1.927zXZִF!   SuperCalc Ac]ŗXf1-q恉<fUZ$d{s[ Tc _?aڷLW&{u+$M27i sqO4sMi+XN 6P0 O-yjy蟣kݯnDK.OY0RKmECk7#J\dlR4II+ :]`™MjED47ɸ_6 hѻaF^`MZ9,IsGj e bā /}Z !D2:'䘰#v V[LݥX<`+Rޒ &- 1p(쮃tIoc"v>:鸛Hs*R1*?8qd&2liˋGbWtG~K~MK6;leD8H*r;˰2h?FFudѮhTtz(ЛQ;`?]`(Z^=4-bCl)GWҮ+h1Yǟ^<0agϿ =:> ٨W]h/f1#%>>(u z,m 8Ye̷꬛.3PUMjx.~WSyC[|w2__t)v8VyVbY< 4D>O"Ꮮ'hڧ`=S>t0eֺ^Vm7nm%d]Q{Z%m˿+B(y[62/- euYĸǓ2k[@kC+3!7-y){7rt*7->POG}Pv[^H 欘L?,&o9!p%.nYBY=~>m̨ fxqLlt@lBbTy[ʑfFM@M>HQaQIۆTw$qC<.9%Vv8@cã77u@5azekŤ&t+p,~LIv\"!O\Gky[! *<}!^AlJ/+w^@ߡH$ross&S'^z|w ᵨLV6a,>܇{H6*f;(“ \!,rƈ%?*Zw{|F:Z+-h{8sz1',n%No:@vJ^r(A A+T)-j[K_FS0 ^|8hҺR7k潝htm7p-ǁZxӉxM@4BnPE|ɸ@\^%].b 2,$ N#=G>sב]`vߚY③0Mwlhr, 1]kʉ4[Km~nMm2Lm A+"s:i<[=Dz1 s3nU~HH1Mn,ӆP_}zjvL|9AΗu㆏$5"L9Viy߳q5ʏgwj;;[=1DpZ`+=r!ƞ{7\"tRLqӺ\6q㥲tbϔdE ~bY⾠'&Lsܡ{tqTb25 ֏wfp-zԉ l(e@wl+*X4dVgN'_%{֫6m~VH3-/.؇ QİoQ yŎf')z=}O\~ѥ _arP\VFm5m Wh2ICCƃYAȮZp7G7<%Bݠ?QT hy~2Mx ˃ `Av!96߈)3=N;3o&§_ maFxT^?[nPLƤ)7}(KcwlCڙByYW]"\/&9Ċ&!&X,YGV+a\NKEF޲')jMe|S@ CpҤ,.RQմg$gjX>7he軓F\Q}#R%=|nVpjkdc2yc?21~no 뷫B1`*/n9>}cgxPn:O miv*ѩLM_,f$@4hEMyQʝxbZE*%haG lb/w/Fɧ^coW hWqMnۉSʤ irmQuw"`8jֆeeU7߈s`3DX,۴J`3;'eك.VTY0/Y 8}+A.|[agl}WwDvcGh{Fw: d6e +]r}|j'fēNq/CUgr&}I~KSXPx}8WhTnclrploR|%<8*E'fWF濝j+Fj\S\iDc汻RY跅Mi.Zš_Y})A_P.m۪o`jR4ì "rԓۋ|@%}<#B SZfUP$l!\".b-)E{o|J֒Rc8;JHP\Jd0 Òw.85ZU#ηVUW;csw鮴VkqXg=OU (qY$ƒ |N&*;NO{_qolCj , ]¾!8WkYD=5Fn K/$;EbI*qM6~ DTfQHRͷ2W+HkQoeS7yx<9RʮJ#1%f`v}ZdZڷT$EZrhPMD]V;I1Ю':޵Cs*XbRc ˩$-bo.|~1f@$:h5cХK>iR39e9QZ#:ZyDH3eUyXpk%q!۸Dн2,u6_?ZvL|zޗP,q^J=\)@-9KB^6vqlEkjpi_^Y!jqE,?f]WL G%!4-N~»=xW).L=q䶧7Hz㬞+M"ǨWZ-fCCqѶvW' :?$[T jNpG; N p.0ȝeE?~E˃XL&\TBxGy6!F6NLzOig IQ }%IgŚWX [ԙU\C*AyHz[ =%?] qj oDz&ie#<<.GNWGx"š+8:;P:frz))@:RM.7 0تIͅ &dU5ἭPY cAS"|*;v-ʤObuFDUV7RjQ|z:ė..O"U o|xy$yL48˫YZWR:s0D5r,,<`ŋ% 8s_)} +0{k[Eb_j&rM[e!A}_ Mg]t,|vG-H6ӎ}"ʊ )<|D mNE'ʓP+[vվ,S-YtBۄCs6E'i>ٲ|{Q~Q>sM.Dɶeiζys~^>F*. KZ :Vz8L 7'{AC؇!^zŭ^&#)v[u'~qIx?v h /eGÜђ%6}B68iIc}<: n`ŋ%jRn%*n9ԑbM $ά uD>/>l'UU: gs c"Gڐ}=ե;׫۩&4>e7nG FN M(Z ]s"C{[yR__6ڠ-+m&@+cϡi,_gYZ7zXZִF!  ]ŗXi%Q!#.z"oEQo=fKR/#@I+Xoչ{1GCÓRiagK;PZqs|ck?lk^zdCdCLj{~G^au 8=s6.!M֚]s $V1iTR)/d4IAj}$+3O}Ȩ0P[3ءe\ -KW`&#j\ lҷfۭzv M5K+ξ`O2e2ĩ'rM7Sد[sMvYWq^u00dU&.9GvonoΝ8%GA# _;W*0@p?_K\zQM6TX=& g'NM#\_֭9" *MfB߻^쑇{}ҕϾ@99;O|Ũmrbm/1vԻ8p]G`k٘kinS̓ZpLk?yU9C8[s=^A1aʁiv';Cgwl_ VET*-_۟KYJ!|Lpƪc98b0ٜuMJPC#'=} DtG^%6 ƥ.dk:·j_Y(ɑm,Ñj 6p-^$V]G`+Kb gCZqR1^1H܆1|p`QZR Ggm%M~;Gr%/+?&W @"_ BN1x,& |"vRjG{RdG*FR-OXg,W SliK^, GSVǾ؉>|ט$NuEeA@@U7%dSҮT5;::U";a)cZg ʝZJp+a .iss'R ]4 5H:(e<|JM{=/$]W+SM߅x̅K/)jL}>yJ8p^!YUvakd԰PU7L\diOB$|b{W_H Bzcܠx5eQQ4ns,.`VFU&w!  4@O[-DձB:i4Y~ v$~1~E,KrThhsb (V"$iG k6 yͭP_{S[Ԃ+uРH!<:&M,0_.UDU5uA)) g=tԝzT Ig̐7SWCzR-1 N+3JK+fa%5 z"Ayy>hl{|1ǮޞNx3H o } bzϻDZw9X?V|mFs+sYdPI#xgE?vt1{2ʭyS0rT L,pGӚ<R%"75ꞑ/pV}tKNX֒:9_R[3! QhT#Ru\ 3&ѴY+eXUs_]SiZ&Bd<~5[a*Hh=e3ĹCa1JQAlCF]} E*~7+v,*Q*V2 u Brռa\o{'UʺU4MG;J /:xņʜZSNo}42(4eviXhwP`Ֆ=^lrgYZ04bfe01e345b1f2a43165a83a78daea05b2aa709 31106a059b9568a10836d609aff3adacce347b53 393b349f932faa5db0348444674c07434c4816c6 596bd40998c29fb5fbe86f1fb0b2d7f2aaa064b4 64d1ca5b0f247c8bc670a248b50bd1bf005e669a bab94ba72219da3731355e4dd2b2cd5141e0cd06 bb2a4493a377b43e9da6df97c8ec495900e2f2ad c1e44491a2e4be2b9b8b8411519fd72dc6362558 cb4ef2d7c92bc6f86abf071b0a6ac6dee8bb8cdb80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c