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 {{Z < m SuperCalc:threads=2elapsed=42.284cpu=82.672gc=3.788factor=1.967zXZִF! E]ŗX   SuperCalcf1-q恉<fUZ$d{s[ Tc _?aڷLW&d'cgbW3.rz7?YibA9pHuV'h]&?NY8pmЃ|x4H mp-ݵPX|& [m9ƍ—i/_4dY>0aP>1[751ɇl>}}tqrZUYZآ3%Qwk_t!# JVS j4s [%/4)j~m S@HB 5"]SLq9_aΗ2qԁ^|u9 *GLLDn%0`9H0_şc4_X}\mR*݉I#Ej4չ ZZS51%] UY2QvՍ ˼>;iWljׁ7c+^IJ"ke9iVTpB QxsJSW#=B@C&L2S6[~p*t UymRo*mgzfeIJ$YLNֳ Z ?{DrS,)*CmAnh~~KNLUcYm3H\H&l|_ ]| t6 T%REwI Snn$Y1s:ϓKGemA9z{yy) %] !\/h lev]L~Ϋ95le/l6Z c\xf>Qv5 l cX*Wb0:{#dJ)geګ/ntЮ&hZ~1NghSO.˓o=P}m>,F; y"A-;itc68UJ\2ixexkkW`ϖ_rjL>+ېDla`0xei2s04h7-y<AV'x[sXS0$}HLi*mܑ\%|C=6c4I44 zeuނ؟5uT >E.b (*:ȗ[Fe`KzuLs3Ji}rd3/%WLƍSz&B|Wc#Y਎MN~@ex$hUZ~{kB=YHj#$pqf&&,pLXm$\.Oj|m¤lԀ{I ~ 1ip]䷆q7xAh$^PE u`GfHo#:Ы,bB mV+$A!2@/Q=:|ϖ[N(eOM`{[ΞFU!΂f52"A a:Y( ,)^/zqJяuibg ّBfc*e f⮘B i.~1}SʨܝUP-gvD*޵ZkoEL| gmTļC`!k-(]gNfEDVuŻ'{ QY"X!BUoT4*%0+Yjo:$B ڣ~{g& n\ٷEZYcyғ@n[ew AML;rd'N aY2g_tPࣄp8t.U*X-AUJc@)(d {ڑ>5,{LiRƺaV"QF%>YAQZ Ʃ߰dnV2x;l\r@kjO>ً(A펓WAx3U<8fD4*VT2tPMaI '#b24ozD,UQH9CE 9zDsޚNi?p%OaGZ %e%p' |f)sGGy=b/AK?pNRXs(Uַ+s|7pGM&UF^wh2ֱsz\k]#7p1ɀ 0?VҔh`ulV,X~HET<ÙSG5a1hg1~Ĺ7A3 Ӻ <}{ƶ̆G7JX~BF~ A|K rٕV,홸7t$6o\z8k 2stvQV|a. _Jڍ>'w+ 8Dk3e)K+_U|QudNGSzPuqsI>&Gv_t'ix:ZqFbl)X\C5 rs'u>Ѹk/ΪVfU:8JKXNLg ۃ^rI^YT+n{UؘIX(E#GkPY(`l-.ƪ{aavWllJ0ߣ]tSaUA ԜÉ`P ˆM"_NijHGoQN\Qoc8k 3ɦN[ݰUZ뷪+bhҽl1 vE(&J]RW q\ġy3*ǹS|w6mČ_ќf!ogBG2C>"fFxFx$kWQVqov=k"`X-Ό=s;b4$'>OU663]dmqfqǽM(-&7td)ۊȉ<7a4 CdXi SU/zvɣsv\S ݧ2ʒ6.FSbpivm K+Gu1WyR[G$\3+|y.Fwf2˨wo*uF9 M ~8 T 'As&^d<`M"O?hI)yGjLeyxcS;jY]]qPmȫ}8D2X>(3jMHꨔ0 u^-ְe]3UTzsZ"4Eijٜ.v-ܘCuBoPe!",n:b|K D9 @=߷1qex(|lFAK8Pěg$И\)"(Rmh^ZZ~ʰʓ7w>2w'P^AB ;k˚xz+]>|hq$,&MǃpBy=19 pG'w&۩@ k)a"{8tcRcpGOQA7~3 jM+nͩ/BQMSC4DC$m)HiВ4CXqk"R<$Oӎq썢7Kיd'_d8 .ErݤIb_L,+?Cw'/"6lʛ%(W]% 5Nfic_S>|7Y<"Ler (t ?}( ze .hEc?T9XVP ܽ # q"SOGӤ܂G+aJc!i,St*G˷)/-"ZDcDg"Ww "8 6x)o-W4¶9?2P.}ڦ&M<1/#p6&Յ׼^ZRWn=o5ULh^03vaxJEl@ɞH)Z=rTӦT ՛dc?*+`jl%1!\Af7}`^<_Ă8ë|`2_a& nu)^yds`nx Z AX_.TM!suÔւׅ_7Ao[)(ic;A}nP~ d$%1ǀ"$~ 0M Vq!6ÏQPF=#oUdhRwbIL$S(A!IZS T>=8tj/'Abk/m'd|+KdQ7IJ)ḵ5.4jϢvPKTlq(ˁXޝ?Npj=H`QLUx:fN>x);H&^f#N X`tsEaxɪ :vwex'|.mId"=woh lT8ۏVmAXdܕ]1O,v cNk5'7fZ2X͚˺DCD+(/J9?Wʅ1ozTLIbvvl!)< {,A3"NO//hwu6Kq7eR8p.!Ů"IGhb@=PEWy~B[p}I]~N0 1t^M#[ s#E Oii)3OYMvxu,%'աЉ {\;yVipt5.>us&4Pm1P9=fѨ=U:k!u+("!K!$SWs RZQ 3]1ehA~:4Ik-PYgYZ7zXZִF! ( ]ŗXi%:;cmKA8O8 Yxj;@ [5OWM뵈nyqes ~0;`فzN%X0!mYհKi)j߆ ,JI(2XcinKJVZL!k4@Bar$Xloy2tm^dU1 .82oSl *&n&.>BݽYU`X,b%{n<8Ŀl>1NZRYx+7~ѻ rXO@sLx~B\%#i7`qT"ؠ}U%qYz[tՆ֙4$<(r ]#So뱘,iF93Prt`b!C7+5<>raْq79_I1遭LN-hy\t0Dž߷ܛXnˡH;=,+X!ﹲíUd.u_ g-֔DX_⊩5܈Md2b cP/>n`lQxj60׿.|`}qxBi H Ҩǜ+ /suko#ZҶ6=~@b#a71N8=XΕ-ș%<{eTiCU7Hŋ#4.{LOC>Yr5.l֐9,.4_1Vp%V{0,a`]77H;T3ի7vaQ@Kk"o2rnX]l~c-n`Nas"jU]K2)o Teǽi|+XwAFԑ-3{5{9fEƘkCwZ@O0|ӟ[?vۗŚ4HA DT0i洫m[cC ܥ_xυxޥ?˛d­KTsw:L'eCw U[j)GWOgx+'rΤm,4(x;D>Cy1Ci*c/)tD1h69Zӓ \K3TRR%}\LG%Xx:=/Eڃpb_ë|AXcثp{=ۤ60,\ hsQ+4wMY0TV|UQ(YF!L֭b%0-_,W!ιxX3_bkY#3'ڽwn<:+ǮyDv A[VG/զC#'n%UO}P@>UEDRn^6 _QEu!;1ojTq&lB=M/,2dFE-.؇UC9%BU39еCwje8@Tv=~-3VMM=SBEd]LsЮܢ4CS*DvnD I^ҜL&!{7.jc4c"cbgެ޸UXO[!Cs%y9rD-! ]ie蜤>55JKd%կgE,&J-JJE7rm 쑒N6nFsȗ3 f{ qLrJpⵟúQG]ExaOg` \8g.\FEGCÒygt xL k1{CQ[%f@tf[ɮvs^F#I Α_=txe1]MY5ke9+"oɥ7#&4 8U~jCږx _<2Tg#wEV(&Җx JPN^j4`32zWwlgK\[Y 8Rrv˳+]mYw"=ȴ&?K>y޻@jJP( ^uxj)sŤ>7,p*( x+uS̊r5(%@<[AtԤ7~?4z I#fSʅMF@W̿94)k6ʬY"Y@чڕt>& wpuZF 6ZI17qZϺ1 i5{Bꉄ)EKI m?B,X } (ݩ'A*.Μ!2yU%+#[KrY|*3$9K'+\f`5+}0R3f'^ B\Zw9zW-1ɱgYZ04bfe01e345b1f2a43165a83a78daea05b2aa709 21059cc3792ffb3f1782548dc13b000f05f60f6a 31106a059b9568a10836d609aff3adacce347b53 393b349f932faa5db0348444674c07434c4816c6 64d1ca5b0f247c8bc670a248b50bd1bf005e669a bab94ba72219da3731355e4dd2b2cd5141e0cd06 bb2a4493a377b43e9da6df97c8ec495900e2f2ad c1e44491a2e4be2b9b8b8411519fd72dc6362558 cb4ef2d7c92bc6f86abf071b0a6ac6dee8bb8cdb878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12