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 -, I/ No_FTL_observers:threads=2elapsed=227.712cpu=264.356gc=5.668factor=1.167zXZִF! 19]ŗXf1-/6vR[x:Y΍s8?ƊeTK(DK-&bD`i>8k%xdDZ帔P).bz vw#2SihaT/0.4}O\ ju y[bxm[b=`V*i7Ee_:Ai7{sD։̴:s| R*/ p5-jh ]K(z+!૟GXҒ( }حpGm-*8w!z+vL6F~vp뽺qhy4< ,k0yF9z&mG|m#D}OkTⓛQOͧkZ/}Ĉ:@ŁK,IUGΦ8efLF[ ʛ5-r9,2=2H@T:m8oZر'*ԥ[?` tˤHJXƧg2f-36% P\\B]).*-<֬2hGK> S} & B2g0f{^OuEoL^t 'ܘmrǂ8* @gi %U#݋x 1=@v"*̿,g! jN 5-w l- &Me(MbxQ ś$qq՜Y-XohfPL)![M/glL_y :D™Gh[I _=/xvCTu:E<WT:5ݕq>C}uS_5H!\{vyuEAsD4 [E>SUST&Gi`)9Î<8!^n~ ]q/?ӅIRj WTAU7RWX}b鱈kc-G/ppq𘥄TOzQZd# Ҽ8񅚀)R>%_!'ib> +O |=414J=hö;|fo RFL?q9sUެ/*B.)638 f{ZwA%U%Z­k7L@ 96 XAʴo ƻgAe>h;iunBӅ4J@"{VD9[U^n*G.GNjF #,a%ʒ(`~(6sɁNnľU~nkSsHVB|3<_hQ}2ܐEȨ:H9<ـMb7@aa*1ݳ*O= ![l]ܷlS(#,B}3%^?O MսV8n])⪜`zSĥ$)boG{iSpC҂d@N*hV$lРlN. P|jb5V$bEU_ ݛa1 u$XMc7 9mD"j{aR@' 6M nIH;#k_݀*uP:ן#frWG޻[@i7lMFu/>>WY_0uw5.v5(ҥ.h@k8Vm"긃8-|CGD<ҿ[QxI9PZ%5=eNwhdEC|,`L3/lRx!|uARK*@L6VT؂/ -z8gANhX]{Ow<[*9j:n d$^m`o"zN`ZI{?Kf@/Ec4˼VK͎LQWZ6]e1J/xl3m-URcλolt񘷀_ӊs̶EB=?#x"IYrhn!-"#""}{:4ko$#t0Эz`/ZH UpL^3dW^?ؖWКOlA\+D,CuM̑ddT~;ҝ7Mx ftF\r6aX6KJ+g$c'BcZ\*]~zbG$'kG@c3i|vl9qMj#iư'c{]#uݛ J˻z݊3#lV3/7Uܚ_|O8u4}"o)m_CqdJp@3@A?+6L;{`b\jؾaY3ѝ7̞gYB "5eXSû  Ŏ%/5+JnA\N CUQBݥPZt11 D$M=O~}|;ASd+ ㄊXy'Ԫ柀-Dh@J41:nW`=0|Ex[:?1wGm]m%?H0:L24v^#rgִ>x[= TO)a1خ"b[e鋤)q |خV B[.8͌f{D/zM̵>[`t%uiJ|iS#!*e*y2SCswY_ r{tp8;0tumkQ5$ l n{ts$M]ÔWڸ@kzs`jspl䕌֦@#>_џl`hyk& D#f]?ѭcD&~w>U]g>u "=-`3+qjhZoS$~$]V [.u:T.B7CPQ8gEU'=l(jÄ@r")Й4dG p|{BA2!PFr9%@-Mz=ʌ%G M ^aS0] >CD<0`zapRlz(tBFr| “xt9,(mBm4^ot?tZu]@N((p rJ GIs`N')i:"7CdgeMNLrQ v?g@&9d0J W@:G|ɮ{,;q~]Xݩ̋ ](bYg@D&'ҽPKn ymkpOObil]h 9Oߔj~X7_.:Mw;,h~A IJ]@1.@:cf[19m:m|2s^qgv<ĉg߮{ T&G'0~tA7]~AB6Z T%JI== j1qۋu!3 8éF]Lv>go@jJkcB!Ei\J 'C[jv?sda-8!d|Bbʖ׀`UKb. q_;xXzbW[3l{Տ!sjh1FLkhKU5RpZq\uw1] rJtz;Q{QFIꆖ}7'/B0ҾrURiكt!Zվ*,4ҙM殸znndE<sɆL,p@*:g̪@WUPLqeFoG1]gT\b'{o5sQr !5& pϫ+즨qM3ZT#h9~E 6tTjϰN mRe̟AADzEsC5IOك ؤ :YeKSOAq{%eȻh\`pvZٱE^LÁ-Rfit.59W:Ȟ~a-U='vձ {G7bL":5֟!O/BX>>hɡtL U@hn(6_o[\FP;.ˁHH_%u ciĝ ;'Խ1srfXC24t92{v $-#J˫Rzxxtt]iYnW띳 }X({>uD!4GVij%dJjlҳ q{w]!$d7@=HwԚa<ڋnVV&q_#"U,ʅEDޓ)lNrO677.g;/27{ 'J] &[q5ń9G}F:MHf3j򾖂@8CTe^/G&z1᭏ }uNN1> 0]4;I%w\C6(1oA6-Rel-`+dlDu%Mާt4鋚7yfnqǫڅ^vp,U$bL4 &Wh fF4BOr`G5ǧ8rk`oDY&DUxxE;E6¶u/=beK?in C"[Ѓ3O߳O j:IAԏ.d"* Cw^+̿ PV&cVC'Ï{^~i1wWv3?/ۮM{B9kpZ]ڦ+NHWD\8+Eh[1簟b\b/ =!qIBAx]@v9y8m<˸9o e}Ao~z+s`Ro<1:i  &|}ňlUN2\(X_ 5}} o=%Z_Hs9|[ֶDDq{j Y#o3Dz;mx pIȕWl.4M:#7׮Zn͈:tX9++sjES X-a贈rӖxL'DVdDi.5\:xztVC .ЃdcxkG)_mw6Pf*IϹcm)jU|0w)Hj'~ N-z;m7i'tV.YI Nv$B_2%0'5rļ| P]qIM#m O>m1/ܠNHa3ݚK6*Xn-Ƶ)htមIo[9bj.ni bK.S{\Ϭ(Y*CBKRYPs!X;59={t! ʚ q0yH~?XӜ1jEYN tj<&q q"|LaTBIJQ6\@Q]$G4! 2ΧK}A?I?l& 28_ Ƹ  v]N4n83A3@S m|!SC:$ok'/O1Lɂf3iF¾Dol% )GQ*򚄜UN ?b0޴ cB}U| Csڭwb3&ܜ-/) L"6yI:K6ZW}Wxս^4|UJ06&JLynHH#8'I匴m<^4)QzoApkm,+ 4b rsd:va](/{Dxq>]V@;҅x.ɖZ,k8j2~*d%3Rq7*qS;/bS}ײšc$LAIyb{hucn^YMJԻN@ӱ+gj <㛞32ۇFg-jޅOYoGhcu:::7ϒT|e Z'xFAE5#VҾs@AC0@ۊLO7MG@RY:1%&"dXܶgl{ UBϘpnNVyEr['S\ A DBВW{0IRRe Rdv(u@MS>~jCjkTIEt>{Mziq)I e67̃.$zOP^I!XUf/NnRLTBzM=.mUm\^+6Njd&ֽ%-In X_&SّMl(K[%ӝ=KnD}PY[*`@TlFLЭZnYjn8>)7B~?hX_Rg`IEފ:k)~[Xb.4KĀ]27}>CĆuH{Xc,=7o~enqrFn^#෇KD1@s1"0o=ֽ=Wdwf,Bn5P%d,ɐ |JSLrҘSV \1uڸomZ};]-2x ?pl0rga' |/kd ▒#X;u7(ժs3>p [T،\:8ae𳁹K}j_ O3Dda,/GJ|9oJK)&4S p.8ڛ%f{mبoBV3XiOsdI?+}P]U*–A*{0ϜBil 1;F݌+;4Lo@'3)6;3uxc@>}c2@(CDJ1_>j|!@P -9z%&BO2MIwy1 =y qbHeeZz!rI0KFU&IZ`c_~ߖ-@֪݁Ma?[ LB"Vk@oU&Gf?* {n^||f /=:+q<^3p8X|d>6:/ދ8^c)=XiW>݆5TtZxabu_5~/ı?nv*ʰNHH2SL[g6դ<wi汇''YeyBnꗩ-U6Qm"UXF)uiG&md8XqdOS"Q3z i7L]//3*?Q8X 9vK@5/cW(!AR(}hkP-|ص|ƒMyYjӕ,07Eehf-- UTŤQfTQ)b$JsAG5yDdcr aĉK(_D\߄(oĔi"fUUwo3aehMm1y'}2 ?C1n؏Hhh\TBmu?|';$Q)wT\ Qtӳ9)/ p6%# ^le.mO:Gp5?+Ϥ\׊aaUR$nd :RD?dYZqM.(^4p<r*e\N{ϳU\Rj`Kܰ-UΘ?hY6ᆁ)%-I0g%棯S1ldǓ_Կx ;xu}kS( ~ {Ӫ]? a>#VAŒ-Z۞7??Jrzp((ԃ hW`Q>0m ܲ-~g_qdgI\8W)1L9AQ%99#ҟ˭^ј^7*5]'Tg[ .=%_Iqi81;IqBKoD'CB[\&A,/y$EE̟NsˆwEJ#S]˧vo^qpqVm͏N;OxvvkP