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 //+d4 ES Girth_Chromatic:threads=2elapsed=72.414cpu=128.704gc=5.416factor=1.787zXZִF! u]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˱+ɝN(y.;#U3*{+/*i ``IZE$WΩʾ^z'JjrC'JP15טZ[p(:C/NyOc[n[6m&|]AMf@Pp0DtCLb1*]2#vdw w%2- AYP:&rvuf1p=i{Av.L \x /cvœrzHSبYyt_JF-c./z(5VW7JfNI rH0.wh$8![Jdl,7T zloHB^Y3+e̷_佋5UygO.nz! 8Us ,R,XH;3 5l3yQ=] -E7%n3B. 8 + Girth_Chromaticc=x aZC,'5@q :|Lɲa(R_߄{S5^մ  nN䝤y+@jed#X1wP9DZnY}⚍kK{r3?DHhM|et*ְٙ'T 2ʊʣWElb@t}g_#f\_j;[?/:^|'ZЁ p4SLT-ݵ1RZ7QT,U56ziB6]҅zjKC-B֣>Mڒ{qc\,9² |;5\GHȞF;jWUDuZ߉_TrDk=e* "әc<` :K?}[R5ikBmq؂[1wkCdʷ6G{eB쾅41 HoJvy~>J>Wjۥ1Vo@tΚ#$Qo}:\? s˨?&c'd mR4q5q1*] c =b?ZiH\]!E''u áhߺ`b؈dK2dw0 rL1d xJs0]+jVyP9^~&hӰ&`+dx1tWlC=" DPoMoG x "(@"m8e X~x㣹QߗGDE>ExZ#Evok$J6GJcۍ>OEnb*XL0!{ @R+R4l[Lؤogg.8En1n4$Z6:07 0^j S*#p9?XZ\:P_R^y@.rމ͖XD(0}rU1%%˲VnXK-A~\-׶ `V&̹߀߈SzV0 :ގu=BٌL9FmJ!g! R6'9v@dQ3̜[gƸxp!Gr0UREx![== Q bl;{z.\@r(-bAT%[8!,a(%YN螘#mx @rtfoYYx˳TD7kj'^}Q䣔b"E[;O h꘹/4>_Cϡ8G/jh?QH`8""3s0H&[l^v;X&ɧoQ)v'lprx`6YY1KPH"IVlv1g%5rsIjҢ,k;VITc2Нɞk?I%{V1; |}B5 ' mۿpqOf~YJJ4{e%-w@%J5In. ].=b|0 m 7ޮμ K?3al}1N3ˋ>+KR_^c PvfQ5fBNSs<\kV^p4?Mg7O2*A,WmgFuȵLȕQ23/kBokQO ؿ4b۱n k25Q*${FxH~2XEٯȖy\ WF|eP[`sn%*ۯgwo ]tkڰ>z7$b `Y'c5vqQ?^p6.w .3i烣NldU0Qӣ:N_@Dq= l\eW4&6-<7ȕ c\4@ }$:t|l֬v"Ye{cڨJ[v#L![(+q'!=i&GU{#8Bе#8ԁC$_g҈v"Hr3uMo2*Jd.qQ[vdatc|#t̵d) ,k+-#$mu͍# xSgX`(߹v&Wg($Zȵ߰+a3nc7):nɡwg'ٿ-rYiQVJزrN_oQ)6*RGb(xFH.Q*r BR3GVc Ax6R$)?,^lzac[Q%}ZA<+6jaD~XD1 i Rn3-5ErjQ˝szL)vF{,M*>|~poJƓzU+9:ہ׼Lt}o}hx+ % ؛\|pX+gܕMMwj@X)0կ_z<$R6i>?(Z腗LHwT_<~[:G9hBg. љ*R) {F0diDD^]V4kr"~sfi#GT%g` XsDPc@ntLa!lڣAKLSBK<* *tjr~ȇ Od&ܯޜb_}ƲK}PC! ).O9ǏQ`@1r48e-DkK̆ڣf^*G)26{K䏽|n#g^gV - ̜|ްbݓ\ F!kn4A5>fW <y *x4lO̠P<e2ɸMS*m;q6/TƢ^sCZ%xho=Q}r r5/Ę&YPeӧ=vLON 3ݷ؃uw\s쓅,Џm2&W;omPTMs?0Fu_گ9+MSmD: Z?I0 {?_tSE ۤrf#4Ƽ~3oM˽>c\x̰-`5?skftʉ 2sx%P]V,%b:] 8{`^#0̋nTFNVXU+j:vQ%K_oò[w::(f1\"jJ_:ļxFK("+՝i#̙dC} aq?xLf 8 u ke1X8eC@,a}J.!BI~,ъUops:wkbs9N:Qv$(d#)x<}v/c?w.X}i"wcn G{`k&>*P-q+*}=ɔhs颲ɝs,#p.(zlA]])‚ܮ ;%wu_o ~G:⬦C2t82f@˝Ǻh R~6sA)udVj"<N򞸈YN3+D\},ȝ+F}ћ8I2p-a?a"FVdTXRe+W=ҙphذcAƜ*]=B)["K0rQ]F]:L sv>|mI F7KTڃSa#Y?G=R\`|=P /&F8%jN!-nWԪ&^iA:NDj:]I$. < K 0G幟j+{E[^04> 5n+9'v\a6΅M*ﳢ ףw+ AKsݨ|x! ~L1@O.`[҅M&Z'5, MĊVE}sҡ@z p^ERsiCԣǃ9f[1(7m#qgkW8>ڡxE8ɬKCS(WzA9Rr:)e[_,SGH37Vx[rسJahS+!c &VM7KHHhSgo9nb=]Yek![ցE VdGk̓Բl':\OO^m3Ҍ eϨUE6'Q:ceCsL!eD f&aBlX٦O;9~)0J%"> Pf&`Qm%cb=(5gڜzҺlKR{oDcS.}`>] ?Oє 7V쟦F PLeyF?jU)NkU^LatxjU+ wfz{\`vPi3\cMT/WcfXMHcͩ%4h(=8N;(8ƜMd =cj|@&\*2Ůn5)g}6[TEW>b 4 K>t ֠#dي͡8)zZ  B9b(Mv4< hyT;1W1։Ry-ʈI 0Np`EsaiS=x{Yjg,96{ec'KX k~l?]-"wZ90-2.k&v2.Ċc6O$\x%ro: E[)=~ؾvt@L8F jŝ]*/-6fzxN8/ũ<=E5v8c6|hK␘N*G/b:86<T<zl*(QNCC:y\5KmD8iSTzh>>x̧lsSrbIgbgyH^j컰w w|έjuO}dK{)iIV#Xesg[a6"1!yK>~dY29B54=`VP$Ҙ v{R;g ZNpњ$ 2j@&2|Iqpr> q^L s+RYRj$N 6eG̬ P4ePȅ&onбs3|ua5'9\1Sl2T &U)b$'(<+2ESo43