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 W'L S UpDown_Scheme:threads=2elapsed=85.052cpu=134.020gc=4.432factor=1.587zXZ ' UpDown_SchemeF! ]ŗXf1-/6vRZ]tE /U 7]n|3B!;Op&''wn3c &eB?SwJ[\HP.Epe*=9.ͰӨմI`L[~5[񆣮dSx$U4d}@LYbX,e,k 85Ε7p[,`o|weҜ%1 qՙDg$o&wi۳xjpdRu<#Jw0z%?woTSC%xDN5!\x"(FM#%5aC>j eTzDMnW)hL,qtIܥVt3-F%6"lC)oa*ʞFO׺dhGxi~Bk5lߦ#> c"vtD,F Șz Zc>WW,'#q Z+߭OV֫c( j~ cMsWgun e}+e4!F3`W'}e7ϰU46L1?J\1>2Q/5=;pXNۓYxްR)p:*%0QwŽy2iXc7e X%n\@7!{RNti(ؙ-2Py>t_Ҥh&h!K緕peN R6ǫ{^CR~e閊aCۂMbCDX;&vE 6 (Hc,,9[8$WlEN*c`wє#/Z%jj@tǀJAǡO#K8%w)UQT\7҆)yЂș\޷?UD/fwS[Ig٬ K i3H 8mOٺTjZR|*^}o9QΊ%`ǗunPӪH2uK BM8 S"PEPR(9/quK2>?DnjeHX,ר+bmZ0ZagX&J QhQ׾j'H1w5r6æos*XYXI g6_1D e{^YԵ?2>7<歌Q{<҅X k^AsahNvc TO [>҃47\vmdLw rR:A*䌗S@.*#nŸ>[{G~nh~Nf3Q47 uB{lCA iNH8\'z_(A ?"E @@ߦWlq9fhܘ- {R9+ZG!^ Q({؋";Xn7d.bS "E9 fV+{ly,nA^mY^e7mDl6幟lt3&OmM!Ӣư7E{8+%ܓbrGaVNafLi!t[1;z )k_'^{!eq&v-0- KWl @9o# ;Qg$+]wa*BB]?U\4R|s @љ4㼕vd5r4>9\usQLԻ;r žf /?@0P ZV;/i\;=kY+,fMAf']`Y9GH R 0$ >wFwOGF2F?Z[ Rev a!7P nJA.G .ߊi 7dM  ky%C͞KKOѦNnn_%/rD)1|mВ/RP/< q'pj} ?h38mxeK 6D-ᵮo;:<ظdL1ܮ=lXWZ'SY,zL3;5ԚDαD4UMGSM_q0Enfdm9/*K)$?hܥZhd"sUٲ*#>=JvGb'yA 92CY!A?`$k{:Qyv Jt9k'-RY8>[ȟ9-9e /2 xѮ ,d%է%׌ \StoRԌ2Q4ⴎTPٕ0i#Lڅ r0[zaw:R K>Y7Jq=Wh2O.}&yoвILNA].!Ãcwޤu ^˖P@G B67h[j9%L.w'bRd[VD#~]bTf"_Ai-kL F;+^;:;SɔR(ecC%zK RzOW{zQM(FAѵݡvJV7cc~V~O5D-g&vyN]0pH*F4&b$t˪pˉq3co~6޺ET'3XGaQN1RdG3\qH`Xat$Xn2gYOq-xϿ&mP5.a_I76׊-jS :/?,{9R mjtx*babe0R-c<M0ADDLuVK.&ҭm)7P3W*TT"o9ߋyf -rt@a7ϰ4@4W0K.4 %cv ۀ&2 mt|m<|ŭx㌨O_iH]Æ`jLVVT^CG\Ո;rSUzsR+wì*[r:צɳ;:&@K\`O]I@h wJLۗ=.:?ȾC@NS|T;]d2GH`ZG3NX7U8D( aطxz6HÄ~C5dj̙u8L?^CkDp*HX~D&_.w a69AK7po͐+e.bEϾ9` lL_G͌ *fZM`Ik5];RG9OH ẀՐ$3kf㳛k-v E|$g6}M9KO,׳_H{哎V"kz#\v=^3s`fRi!k;=HoYFnxI\W9o¡"U]7~+)+F%z{?eC~dU1uvL* $ΡQ#lX9/+D˯SNp@ k /J+ `. 3lV}$6uex4abee\U䖹L.Pqr=r9b;t)Iom4gs>[6'=y_g ]]"#H){Dg|w㌘j|іB\9߁rɾ{ؙ*`Qf$$Zoed_o3A?U}1RB7?LE7Evt*z&ilgn~ήUԟ H]Ĝ;u{g,O'PJ_on{[v4OAf${ȯd\if!1c|UK(g-2WI6!z>Z ܓ $0؜+XIrJOQ5Vc:HՇAw ++؃]X\/ 7YCӑ~ֽ )>>)zsY<2F$쾛q<$kdpY|*owZn~;׾A9BL{}:By1:Pa@E%<n@ l6Kcu^M_\!#d1k MS׋R['[i?(?7]nܲ8vRq +_gXA }jX 7-ɥB~8^țݘBB!C5 .P3.o5X.!ʉhH][5m1/q4;)|esM5ƻ/somDfI kL ֥$m9٪5"@iuQzȨ]쮩9\m*0!z=L/dF Ge|%e vFs,{$2= %1TW C&!u ,wj-8p)XQprE3U; )f\IbJT5ƿ61} jI>,]m7ć VU}*Ɩ O ):tgR䋨;ٝy-״'t^x+e;SN8{,ÔLYL M={KMoڲNk~wҢ-M(}fw\9%u{ה-HBOұ.r2:Kg76W%24 Jk8}gg;M &kcw KHXy0ЊTf@9Cڋd@]"|)*pOz 5_\. BwR@, }'N)0:s%! [WԗT}H +A AI͵GƚQ)А9h i #,Bii8w֢ Y U$_u,oʜby ,Iioq}foq\MB;JcvUF>)k`s_G';c}{=SlKOF \ҫ,WoXK6%mYǞwY[*3t(-ZkP) X9Xجyw*n] h(}Te$&o#ʚ|(j#: gYZ7zXZִF! 3]ŗXi%DQZU" Zu/[YNK!m;1")ͶgHn>t|gJȒAĤ_2"Ĩn XT)6&pxJ7CBiơ R22cKӿU 'raG ?}Ц\^AqD V~#XhI'̎/f }fz8*O郍^y5X>z +#+rDlsH_v mV2a^[C=t X\Y׫J)/Eې[*P̭7r)0$Dڦl+TMزB f}p]m|эw>+" .Mוa^'k٣6wNjXnØ⁒17\ehf 肀M [eJQ,= NQyTPd x|/GU8GY(ݐx sGUD,(nݙ o'tC}_/9cokAU-NPXAPs^5x~7[hECc0B=dvppu ל" p[ߺ;8uL,37ǎ'`)᭷CizǿP^*sb\ַOpD /ME%aiC?8}޺=sXD2'u P8=xPu*krGP'҃`#B(\KLP %ʚ2 ^vIXB;ˠW5d׳8fW9 퀗E?Kcb+?SG5^Է&gH"nWu576 l eڿbjPE=ELAdE൶M^ Lc w:0uk}mO~"H^Vm!My]r?bU⨜MgO`oݍ-(mU@VvYR3p*n}1Df Q$x·NC+I8 T ] ȱwCu31I0@:5*K|D vXYfvmZ [u'k /o^Vl$ K&(sk)y&JAM]ŜLc)ь.q]FPDYPx J.A&DQH)<)Hl̾~Wq,!ύ'-{t>Is<43"K H|7L`zGW.Nں Hˬ⌎o,>lsfXm"?W ϔW(y w"E2mGu6L#TPNMI4c7IBjc62jwcICF0M+fnKRܰ8Gyp{,]~<`m&)egP"3,%c EE\Y6ŪH90]ʭ|i3[Xî_7fD:bt3#i3ȣ N6d|aݱRJ.ƃzj D*wLC:oD-;#u&\%1 ElLьI-]Wn/?xQ%e1: OQVȲ`.*DGO88kli,H,*g^3}G0wsZs,)Z`q#]Dx[~ջ>;;`ى&f|O$*֌vAYb2>Ejw۹ HBrq;3]ii2MYq9`6wmJL8va,9ގ'/A 'G!F,u%}$J  -z>\W:4&i,<6\X /n2ѧ<ӑM}֦ _t@GǏ{lt*iS RxOȠ׎Si,^}]/zD@A lo q.[(ADz@`R JȮtL7 N/#Q q˵¯M{t݂n#<z:rX,z~̎Hdv@K!ݿ,zJHy+2E(<dz}qOϲ)-=P)hLQsO"N)\ v}jq>${\ cz8= 3-XCŐH*`qLAӈ#܊4\pp%X1d/AՠAaUm$)tc{7Ї5vC9D}fS$tOcfVz Y>Vx>(Q$[@D"M-dUeL0v~*.LoCch'_ُ[:qlΨ9PnJ'fYl]>Ԣ!矀 xi3AB#v+T t^e5k h_ g åTOd%y9مOxO<_ -Gb.\F"un
    BTh uhŒЅy3{GW7$n\$?Yt8yK'A7V=z)E}~Za8 ds]*:徎),3~*mԖXq6.ӈKPKb$q>aӭi]@!3b(U`J6 =X~¤#-=M]+z]Xr` LJJ[Q] 'N ͟DWxU L\hBEܛqBʾ6"~^V}1H/Kv %%(2Cd8栎A$S/,*gbZuff*0Y' ëf|B}x(k`Gyy:BwzuZ0ܶZ>[ec- "<kKQ[o[˝2Ui"a~C>OL#$JnZ֩ӱk53LZ\~MJ;Z~Û)6&`z lKEȤx.p\R 9Ogwkv+俪+^^{%n`4cTϱ|p F/FV)N[Q_&ʞrᘖPV^3zԱD& %GziCL"E;\|Yk^ "ۘl7Bp~Qݥ2gqit<$(MlxaXÐa HH}Ӡ3$/Em5 ~yI3~*-$RB:鷃 rA,[Gk(N&KT$1D׃8G14z7Mz|/b{] @NYI4T> - 7j䀳C|m@&ݕv