SQLite format 3@ . YYQ77Atableisabelle_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, "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 zzw+ t ] Stable_Matching:threads=2elapsed=192.514cpu=275.076gc=5.580factor=1.437zXZִF! L]ŗXf1-/6vR[]eWuO|4JI/A;{ ? pĨf162pFG_xj6Fib\GjyAY"2P 9W\PL"2GɘB]G]#>ﱑJ~Rdp}j,#eiVziKjH'&t{ix]0rPOmX}+Fzicp>LLx{(t?|BwtpnS2MҸwl&셋!4Q)I5. Kc> itJ~5INjK4a/?WByQB!_Zۊ7!f ܷC#Y506aH_/xsfyb) `G` jšpקhY?ڵVRGJ=g:mװ5 ![ުXu^##t%/pД2lE0llz>H  ϐ\ 2Ro{x9 /QvO=WPɟ4-y%T/&cJ$hq@Z՘ZRX8{pfv(ϞȢe [8"+lM P1Wte6j1P[Tdl6$۳`MN[2vEKlFo^٘H:N}t+;Hʳىl[I/`,E99ع.U5G"Jc2,o-NBC6՞ԓ ԿA /'io{ Vf_ B$/k[;7]p7.І) t kJEAq^RInydX|$B0ݾhM"=@VPbneg6B٩sCKq?} ۚȰdG!ctt.]-kRyrP6S$-d,G1412\L9b0*'^c_*7#}ËWne]4Wq擹E?, ۺm 8%d#Vy1܂`[SF `<19V[ıͶ&Ch],%EϞm1N^JÈRx}2:.c8%j/I%ض`J^DځZNJBǒ Qi[S96j[Z6X"vI4ۉ!1rwܝ~Vz2G.H V0@Ɓ/p:ϡa_su !uqmt!=la[<^^."$n 64}%IEzXKBj A\_\7aAZEkYS[lY1ĊkZ94q7u'WJ?M5q}U2Iye6`%XF GN;Jr@(ǩ$j`CcL KCdCZ#LH_2grxIgLpUyy _0Ҹl?Dgs!pk-8õ]g %=< f2Ze5??X5}U+~hl zFV*bW t> \_ HQEvE%2+&)h\s[6ߟ Lw@n "kEv`R dp:X5ۍ: P|<DZ!+yeܫN1bNdt|~`^uQ uÄס94k.*]=à KA_XGYv>+.na@?F~3=#7 n}NK]/!!>nH~%hGj) ArVbΡr2*˟ն/΋ds0B`ϒϐ}CDv)hE"#8!ћw?FtjcF,)E°dB ݽrѼ9ؕVם$8xi(& vԵ2$cr3 P˰(eTeLZ>P8CiBJ;Iw)(i8.Ot-= K+E+^Ld#B#=ʙ{]c y쁚 J<BGV"X^IO[5 ^}t+ZR{5o HVÝ݉Wsľ(5_NaNc9PqĈT-=*<1I[59We.9^[%h'}3vy1kdLJ0ȓ7` W'Z\sJ8 )_/TNx:@]A@rƍeҼzmGaJfG3rxʻQ@jNY{Hٸ-7%*a2d3W]gTY@rW)L|c$&CN,G>;E4n(^)Qh`9TUS2n\՚W|(ٸ ~ lo/^GMP@m6ᨷ:6/Dc@=1 vx1J[qKZUpa~eOHfR&{:i8LK@sI3s<\"5qՎqL P>5 Vodgرqd8OEMg= BL+TH2FH1 ,!G|!>`{d57%l=dmW'<C3wޛxBd y.7OGd!8q`Ytc]cd7(>n8zQ лnP.;Y`*pTJo {1fQ/#2M"ꥫcW3xt: .(&o 9ohJv^Kcc.> dJKщ@r]tGGU@r6É`j !R^w*KUT/1о ALWP8qJޭݩc.ȰvB 4XYO,,@f7&שzt^0g! D, =ZFol(d|Է1('2 % ;$lY[dyQR,t@1d+J({ФtshsĂrc):cAHR 5XL˹PHQV}'Lew`m7(Orv.~fϻV +Ş_KkFUIY τ^wa-=uMHC*IU/IrgiF ӯ*$!Tp2ױC2s ! l])Pmν]>d(A߹<K0֫!>Mϒ.ME&d.CtTݹ2_$Ya42ө wGر>-2s@;jXɣVEĹ&%HĹ͟hM^柤S@HÛ~ie#Fd;3=/o)'SW~{st.ӓRid/%`a_ W2=3SuZzL2`*^,]Zg^>=*` |BÜsQe(RN]j81*T?^-oW=. ^sL][9mkM,V/IBWm9fuL5pMam72) n.Э0 @ċW`籯t-1zU%`e5G͗E\EȈcp U1cu/ T@%hjFl!MPZqtH )+}bQߵSBD9} ωO QP* jũ_% IbJSb c6kK7 ֏ufU cm~KL")l@̼/ G:pgTJUE(cC[ՕØHw/ˬ'H2mj 1[iBW\@<5G.-u #xkeL~0E,U1B8RbLm4L!!u`Eb)Ez-&×ɡcxbu,y*Z;GxHYE\쾟w]l}2ڪ~̽B%'~oL@zDl@ϥ>#df3ٳ*r1lPP#/I4F\綀ЇJAj{`?(" P\Q`<׀>ؘ :$ Yҥ2d_9@w `kXe-,\yLVQe}~6ҐJGb03ѴDJj&30l.ctxm/ dT:cfPh?$tt'j@qX'Ľw$,+D`G8Y}BDgիeYS[ǭ.Abz2Hؐa8NwvIrコijFKdCɛT+k]zԎ! v˚x-t%R0ZeKRH&{JզF/c\;œHѱ<<[Pڳt)%]y[3.sL}vow|/UY'[Cvc"q;A`n|- O^U-Avw2\Os@R.i~9DH<.sEѴX 'A?=oA)Q8M !ƹGs*+mw{ _9>pڋSsY=B-S~Is0 T SVb 6Q|B1fQ.J{edNF/Cl1U₩mk+AJ_!? A[? T%L|y/r;٬J9Jen|BxM:$~S)#<τ}[b`@MiUP}N -{caP gp C! ĊW\Yn'S{m [@: ~Tꊦj` CEUQ_ʺ2J e=`e2!nVăpov%m&פ+GJF'dv/4N9_ÛRtcfLs1?;W? \vlHXr gF{ʏ4T bgQV aп()$`Q9ꂉ_ Hca/<>fߏ>zHXCnQVvb/l'Z/u:)=Seʔctg[c H @ Dlk)Nu`U: cB9 ) eY:F#4IJ?M?&q_vH?wx(Mh;J@xWjY4ԙŅiG QIEƻ!y&#_F<4 zMExn^k@;רٿ23:/Z[gu?+C9̙vkIjnzl`F?C:ȄArsçH5;ZR`) F6i iyL6M-/;PY2ZKoٖ3r# 8qhv@gAvufzJ(扵G1ZEo= [z@6qjʀOЧͺ{06JA 6]Wԁ#EwFXK޽gߧ%I ` 'D!;$ 2 {6b>xNM~'#WֺM鹔y 4_M{%y!*Y gpJTGP)|:$%В9eAzvk\:cw<Ⱥw83Z g.fol$zgpL^ȩ(Ċ:p aS-cCI- fyT>91\^),@ zzC#?|ja7^0 {D}?'Sޛm2%LC F&ftRzsflGk(RxױVNI5F;;MA=֖qC j HyNyd+y49,=pcڴٚa*W _?KV(+sX .ewo3X/SC6ȌM?pdYdBpe5 9=]%脴aPZM*Mt֓t<.{ʪ|vKg2msd2S?szhq#ŚBM6'nVH"󭗛+e%4,3.!@ ^Ԣ 'J?'"\yCzu y v36% b׊) ?0{j 5n]זR\rX&m[\ Rba,I04pX.Md~UA7"!"0Uӕ2NM^ܓ6EůwN1RCcF'Öz{r4 u{,*S#E"Qbv gkH2f{+Ș́/@²CL1eiȑ83rR۹nICA@¡h*`B 6+OhNzR$|DW,hPSU_!sW.ii{%m("6 ]]w(v=fF1TMU#BaXqF ڭ]LixK;;Eׁs~`q!1.(<6leGW0aA5{yJ[ugo xo~ e %*oVN|츋O(/]`h/wy]ͫrU\I Zi| aؕR5L|ޮ`gA]-sʓQscʑȅ9[ƫE'Ԧ<[x'ÚIjR"!7\yR> l(FViTI&)Hlb!vp6R"r= $tKYW'umz*`mm8V&J&v8:i-yE1y~8Z Ѩ]g (vt9O];#+.ʾHl|#, !zFy\)2ok(AvB^ּ T|#Wr=,D}&Ř"ukӁ-ne,uLz.)3ɡZ }<5c:]x'f0;C(+L(Gds,'#x0 ;v_ EƓ8=}^c[7^ *T܈3Oc1U!v(rb&JC@2Aǖ~^!ހR_m^Ջq3a >tn@]Ҽ)gFStDepCOαb1i3cK-ɫącc|<X-mghu;,Kңv]eXx(hEddzפv!y]8>}dRb b=Xj#_utQQ :abjՕM?{=zqZ-d@),0c#f.DP *-!Iu1)氏Ǡ}ɻ%'{Z$owABM b!>=3m#po2'JUm'맏Gz?7!|;j!v`C5ৌړ{kE^G2#z(SfE+b_q[n^VDB@LU+~co=dT4 J,LjhpKӖQ{*\x:~&e:Xt/dC0 \QHK mMl2 ΁ܸʡ)R2MsF_%. .UsA| i-/DtɼULG(#Ъ J I-?[_ʆgn ½ėٮPf@f K5Tcax组V^Sâ&:QsJ(<"V\ ^v˂j/=2ǼGå@sbR5[Ps#pW ;%PWtaYn$w:VbO\(ُ҅K.$FfqHcuf1O^Sv=,~H9fgYZb36e5cf97b721f58e9bc7204d90050bdb80b70dae3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d