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 --, \ %S Lp:threads=2elapsed=38.092cpu=68.856gc=1.248factor=1.817zXZִF! ]ŗXf1-/6vRZektZZ/BcHkIv[ W %s%/[)V\gLߏ?(ݸ a0^ZnAحUG|2u?5 OQ>z?xiQ@`„{SűFrQ99oÉ.pR&4~JχXq""WC(J^DN.L* <FV|[fٴQ,wdbH&"?@'t(3W[7Du&:m")! ,/ Uy_b|Cc$ޒA  LpuJnNIH В=_+j_B T5Fg.$b97E*p "޶;i1A;8T=W UaOݰ,\K鏘 b$Ŋş\OqoJ,r+F~cLVySMx3rr~5 κ'6 3zzb:@i42#TON;A7diD9g- x NPMV9;EfYMϷj圗7p(Nm]d$\Ru&l e*wHl 鎳71CsH ie(kAA1Ko# H.U7䯢}}nYmwxH3qR8nT\U^_CIkYx=DRj4rR3G"d'y9@ м—ְ弍41Z]<ӂY(E=yVecõ}תDrli6gWp #!Yj&rX8CW4(x+]K8R0{L}R ՍQ3e bTcag9kMLYTLw=N~lB6 o׍ C_6K)fZ%ǍÛ!8ٵL_“:U'D5E>&PLNRCfe 6+>S#"Cl-ЎUf^ހ4I 9 U!:Wn*vs_ڟ LI y"~޸c1%,M&s xB jH0ߧiF*T-Ta*d=]rf60ZSc{ ҳZ75}s8iݱEY7vH5 #i:\H^Jb bj9I$wm@7ήsvu'/4ζ*8"Z@&!wpqa쎷,})# nvl#>dJw>9(Xe!!7[M'Sz:q[T{Ԓp+"aD.vyM]lJmf:U22Js0wYt&GeLN I\w%) v_+9i8$xN ^"/+ʡ&/Dr{:wa³pP1TkD\|;5pDIx7S앸.%2or /&u;G.l'\,~xGЌ b=u>cV,|T聆4;/L&kvB vˤ1@6Z`N8y8bmҦRq޾i E9_): 8v]9ePZe!4Zx3bW ']ߤ)REEn/,X.jOS>\p64s.3r;N" Y&|:-j|ݖ~e?e ԗ6>7Y4ϚÞ!i`ʝt>Zdg]@88)*,z?g ,blA.&m<=O Fb|ƳEu&|$P9V[_Qo&q ;<+ր3U_鞕<꒟G_ .c4TA/Rf{I/j]{gPV́ XF(Z8g)"tЎ ޽3삐:`CJ= >۶By ݁~V֓u~kޯ"!.I.գ81( 0UD}C :T_Fi-#F12ʪ8r oZKkq_Du@=杅|f SDgp"E2>잓qUmIG[ޓ?jp26,& sGTi$&lb2R@U/-!8+Lv\M#m|J%-\> i|7,;+}F*KBG ?RU8N{PE,L<6WΨ7jⓦכsG1]\*T |=e 2ӛ|Ya1߸6@yA+7g7Y /˟.%AgR1W޿_Oǻ1ݝ9 ^J13_hnS,9  i:qW#+P0p+ xO|RwqB&"Dnf!LHǗyu9CR OYnE/oFڗ@~;xrn;~-m ,nI\'pH 9rs>{x!d= ;_z+q =x&բqxVV N.*w`dϵ ^8hZX %&Dң 7XY \Eij+kw z`GH lהJrp  -DLJ0qɬn1=hgѼ:-jJGV"_. YB1ꕲJhMl_Ovc)YzhUɬ*[O۱@^|6[L pn٦{k#~yo]B(,r]EJ3"wBߘk􆲴=b I嵀X#֣>OӹGۖJ&P欟Kd;C D  {7}a:0f>܆ VwiJ&=1 ex|[7~ ݯ*v]l4EȣA*28RtA&Ü5kdǨTR gBgaFh5.,j}]FqҀ pB`!R\@27om w [2`3H]nHi)4C8#^`H|#_hb#.D*> O 6zS9iY0K>00u&"o6SHOPEc-.ERDL|mFֻIJB btt8]{b!=DBBѶo/)S7|Ɏ[ RNʨLPBbyb5T mSOEh<ԡ+~kQV Jf _> s72\Xn'JR3g R/YKGQ<M$lEHb!^xU>fJy--ԸGxQ:Cz툀l)WF2@Ģr[3ȉ*Dq./sx=Fn$ 9khVѯ;Tǒ,2q/isc|pH_ &\.+U/;d5}I"gF<8JeW,wNk?DdߣUę,I3{e4'X. EG0kiZ=T ' YXv1b+z4x 6ǟ!^V#h%#ɩ$^ssC+67׳`o {/IL@ j}i欽 I*%b~3U^z&V ,`2H8{A~܎s~ܾIH 7rJԏYeON{ ?j,CGLCT!+H(&,C901  */MoXܩ,ލ \9Nsmm57G/GP#=X3/ْ{h` EK~Ql$F?<(3 $RoP(1=jR KU#s.@ZH6Uș#2@I<bO@DtpETj C bĭO)nþ.6N7H#~sU`{0Jۍ{Y9a-R8,\MA'{b3`,_wgYZ7zXZִF! ]ŗXi%:1h^Ua56r+Zjsu!g/FmTI\>Đ3OZ*D|j0Kl d04{i9J]I%o㘋I%rlf 0hů<"ܱ`'K'+4YHՎ-ʿ̡A UUK>J!N D%%IaJL3Ѯ2byZ} srHFVtJ^_-3<=$QaI)9 x/1Gx}_ OpȆaF nS~鐛m޿>$X#4' 44 `R{Ԉ"ݨu n0kzrg ;Ɩ\pYkxțұ5e I(Wԭ :;y ^LtIӘıLbtmezQZ aN9Xbhsѵc2B‰. Үet :dao*UMd. ɻkْGSd'ǐy}NMr9?">t'F.~rND4Ck+!/YHUW>WrH Ol;X^i8xȁȞ\0:GG;$ @!3@VHQIei) iE*NAc7$*ZT\֚gfVţ뒶T+Ajc(?z,@gKc1V%Rzpb͞Ͼ$=ˊ8ЌCYB>IK:S''[MXt2{o޷Z8f$mnMj u]J [.z'E۽,zyIWIr4{(cҟq"NrX2b;նX5IЌE..hⵄ7FtjF*z9qP]/V;a Ax7唈Uv㯩: -бZ3d'ӯo?:Jp L5t4r:7i 1QVs;^0F\kO^^qx:_{ ݢ0A̶rܲ؃N(_V+d5d`Ma_T堓YXd]є37\!q*o |Z&69ge"zo^q-(,+7~#U]h})N|0SAYMNJ.fu a萦`屢\'h kJ 3<)æmzTaG1eU,iMq{zU ݀t>MۑbNǵ>7?662DTA%K@YO8n!3kYA~K%{Tce̱s"?=2<=$_B9{,6S_6p\xi;B(+>Xa˂ 5izn;n[ 9!i:__"-%Th>R]LjX)6 q Cy yVEz#I$f>M7)GW8b75p@qR鏡 pDA(h1)>b0OrI:4?`l$_j+[t &: :2YcZ~7\g.xAd<k$m~:qvgm%??X v$ a=\Xh'P0t#11r۱gYZ1eea81373232923c19c7b3989439ddaa300f4986 40a51cd97f203720220223fa4ba90425f36c9a26 5d5dc91fe75a8d8bf4675d37bd44ba3f99ff55fd b50539272db9f8d945a3af66a569745352725a2d df52d5ad8bdbdc6c9c56614a8cc01168fa289248878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 53c8bd6cd9b4e6659e7c8d26458e89775080e70f efd18841017caead5c98b3dae82ea8c0b05c5144