SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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   T# ,d ]/ Free-Groups:threads=2elapsed=107.092cpu=188.704gc=10.996factor=1.767zXZִF! ]? ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jknx'o`$ sB÷%e~k<\7fމ=7N=ҼG8O sF΂׽ɠ\_#k7C̘Ik^oȖjyk^QF.WԴ)Ϧ5B'絬? A!1HX O8BsNf\B/qqfRXl( ?)àH'@wÜ嵛Er"UI2A﨑Ks'4CMs_9. U4Qw OV`6ĿҞbPL H S4|^Y8~0{a/rBXXc" Qic8ѱ=?_ڸkJ1myb×&+A[/xeM,zDF-AՈЕ:k # Free-Groups73u5*^Ԡw< w"{o$ʕby ^x3w~\4?@ҨF@"@4A. ֏ _4@gc/lؕSǜސZr~k d'UJ}qj)vRZ Iڿ1'QZCiXzD_!)bEB~%\C*W76F;V;sHc;ّ#mwƴfMڶ !es1mN<(Θ+ ;5 IZwpC,w)FPZ߰ţLq`*?YCxS刘"ck~8̣7դc)$'TK{q tw*e||F&Ķ'nv"-uoWhp4aoGɮ%gٗUD:o z.膲&7= gH !,DȢi[Ǹ {$wj^wD/ `M\ CCP8ѝ;quW)ۤ~2oOTnhWp=9HgF-kWݕ;YX? @p(q&^  EơBy;|̆E_H$4/;uf(*a{5. ;= 7MQp\PD\JnT\+Dk}><I֙:L+ʵmg2UDqN '1Ѝʙ!óI=CFSMYn⚖1\7>ʬ0uHc!sAD/\1l[߃N^U%{.lW> (Sטc3k|VO)hG xEΚ {hi>YI+ JiFrĝ.iN@Bmk\MqyΉ- Xj/qGƅb\}`@ 3N%WVHw+P9ٗTvxæN*qsc?^aY׫,oNNw:]ŗXiɟ1?ߟt;9BP2CZz眭5 z c6 %KG1kwZ,((@ Jr/o}z-vsxŌ>3SGY7ϟ'Bf=j%. x!ܘhvT/[βLa-3zY<) ,Tв`L=RCI?>3~t!P|8msf cLYـ8~Yy9;ྣKmЅQi6ӛ6(OqZ,4PX06{8NLp&S-Qm*2v^4I趙:0?)O 5sգ '0~oE` 2Ҧ.wyKxKz>Q,'rhIC2>aJ]pIfd~0d') _XΔ60),.0wۣ/@oo;N/:;H:%H ( dSP@mbTuP:/˴n݅?}MثT,5֦];{gR*eJyr?!4L\Ũ_T P}ٶ'Ծڿ>9Ph@n7)NQU^{UR 8O-vVa:쐯7 @/nMelR%}z=71*gYZ7zXZִF! ]ŗXi%6SwL3m]$"5}IЅ{,fAbd + JM(#'gIU ^ =إ&ɡB˰g- Z7yr$Lla@D2:nZȧ9:ΰoFbwnNh"/ j[jACgj?"ގdvBxdzg*lGœww#>=&*y9iVC`eD#$0!Z6 z_PʿLH'>Gi~vXCc(8]!fFqVHr֞gp5Ʋl8أdd /P6#(G5TT.""/鶵w@c1*f8K>q`|IMEOwgxn.nf$F&̔si,^̘g s^$WjŦ0k uֹ=9U_CYb)#p jDFH焖weE"ࠓI%S1.@佧(3x[Z+yu+nw|+H&8\#:6G#"8 E "jBN.Ph^Vulɘz\Sgʵ VC3 ;]gVNۄ:$˽j$ R{WXaR=U t%3(+"SW#C8Gb|Jyg  ;ʃ}yUa`۲< ,weeM?wܚ`/}|.!bD-rNy1mKM~&Q* b_$468ncHb~b]c?(-i1Kܖģ2le wX,$M@`DÞt_q|w6? ?_}!E3$:b"o&o_p_ E;bA^6L0{c7Fd!L/Ph.ٲ|c?=􀐯=㊏G{O(LXGF?ΌJԯ/|#c(kr`&9y /~dysW/&ִ{| }(u*'N[N枴QL"a3?fp]›RJOu򪏆IR8F KnX|ړB{C5 _qd4j!̳̲k9Yf 9VIv_@@N >([u;đV5=2YC38Dr#ޭqdJOR>2:~X>!o265} v:M9]Cm@| UR+ص>ӫfioPmٱz83QN:AK4u޴*Εiy4Oܓ:2;ଋcRש6"T/cXBUd),#v˃V\I%OoǏypK`sd4yƻt 3!t9}hŴë ˙gu12 dۀUpb6hM^a۱z?⍭4fL8gU:LS~>.L0=:lw6Z_[SZˤ}u"M9u|62qXRf4&w?3a3#oG3!e^0|%>*(ȅf"3gofÐ[xp;K&0@O'V[`o-HDAPXY-D%)1J[@JOL*Mˠ^:/Sg16٢`#a~jطY繳OID;-dyMu캠{a>Vkh07#m\݉9f2"t0Vyf@-\L]Ԙ8Y (D;Y8^|B{IU.^zȽ V3tq)+=/궣Ej4~p`pp2ʣo 1YWU$"ɬIΣG @\~Paf G!iVuÕvVЕ$WE + djޡCmwa;5Cmru^6Ɔ6鈂H>_Fc\KYgN%SWޢUq.Y~F0$$GZhz769KRF KN+ Gpo_VV(WJrqzpdv1}܊>k IVܪQv"|N Φa'=TV*Is}$2񛆔zvxPz<\/1dӗ1sX`R3K+iG})+j?r) nJdAjJOQ埍a1zr7`4 g9`I7jCܱu5yV%Zg^t.d s*%tc0F}/¢@7eK0"@5[~rÂ}JM&`7$7!&rr%3*8᧰z*մvlV31Jc/`[J{c}u$ʚ܎gMnpz)oؓߗ#D:}lW}ýne<3(}i *yqq\-%k93K A6V  9!܅{Ԧw^}o]VvVpuV"]`D,;/[#(^l흑䧑(l܁O(Uvk]P Ip;Tr{* 0SUdeZ}/M`^A&=g0E/C^9-$3ɪjaTdֈo@,Ƃǐv='(agq*ե\u4M7;}jcȧCF\09P@gCic]~Qm,;1ыb+jHhF. $^#\I\ TQVEcaCTy3TÃ-Z mdmnMn0PէHn: }ϔx[ 'ﶶJ$Õix]#3{]WAAZO^pI$"N ?CX/%ZtqLAneV}/VLߢyBŮ4:):!|<{yE-gf! }[g/,#ZAE.^2YŜH4o~eW{h mJ|? 6lTtX_il5nHp*+k,1&'ϻ׿[_02MA/c=bTcY|\b,3U]U__]G hDMuuÑ<]3xE64+u2ӱ_ ;L׎Yb9оmv)i U'K4> MҮXJs."  ;b@8ث;xS^'A sҏo7Gm(E%\"Vc%j,c?pFV'8xۃ0<{¤ P9Fϊ27s}ùG4u#s7CHpNaoUx>94IW%jݥ|=yt8*ϖ#n6.ԑ&Rgc[8a]Rԟ Ec{}@^OR}Bڍ7Pk  PPJc&1q2)OZg9~k}YgF' :0oEg[EK.+VXV-f`oq] [d[O&cau,`B 3:?D>-A߮BŧҰʧ$ĕZ 47r] ?]XZ7y?T+, '~x\lQpWeq|ok; Y_Do4JÓ{'_KBGb5ke̼g\6sN\ފ 8z`mWQ8Z