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 NN'/|4 ]/ Consensus_Refined:threads=2elapsed=104.417cpu=139.924gc=5.380factor=1.347zXZִF! A]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFm}ד!'_;,crG\-: RIG9b\sw:޸f | 9A %cf]`gh\Sk˳Xb6|0aY8zFVvkajMS) ecr,~~AEd篒 sﮬX3G W~t^ K<V 30eYV D%\ގMmWy]рh& R=;!B{`N7߱ܵ7MU8̮I'<!SU8L+ ($(."h?Վ"c]cL0[^N+sX#ӵRuP@_$kĉ>GzsAeyepr0S<.G`羧XֳD͉8cOP,ba* neMIШ1R wpu;^U\:z-13҇i$qy`q^a kQE v?,$# k&,;.iЊTyVY9ˠ,WUɘn-`ThV%qG_GJ9w9QaW7! eGز=Ozdk_z[o1"ӡo= }9?-WVKvƌ_1aӁmfgX ͐St R_=<[J[Tw7؉=[Y9N A=lY,> ^nNnk]KR^) ob6.l iLHRU>J~cP8W; 26Q*dz:41Ug1jr멺zMWFiN$N$~FVؤqhm)FQ$ʑ\< vy/!?UytCt1_VV !N8Н^?| $>.@|)*rGa8׾%lgFX1ǘPQ!~Bz~(K4FJ;א()fn {gRTvʏ\uy=uC}SτBjLYMߓv=q,Zd7b] QPQ{賓?v%vbk %JN*BSlg{ : :ˇ׳,`J7V&6+.Ap } X252, oRJ >$kx  4Tdq'-'y$UjT5L"`=5".0!3L+e}h5{m.N'IvXئU[Fkۺ.8e"^$YyKpV%;U,$gcMыE0dK I -s?YIfߤfzSY3mX<_sv^aqcm2^-̩Pz6u =j8YN7!!"팦TˀzGHF,_-k8"5jè{BɾOA*pNs4IZ (p&6!SSS ӃagYZ7zXZִF! ]ŗXi%6Ar(ch+لZ7Q>\ϩgvdwnuM;~x\|* TR5Qki|k`nMSNdq"f0{2Ų27"hazÖdwhS {<>.F<>y8K)?պ ;\ygtZ9 ^DsCM2+z)D5e.)j/yŏfF7-M `d{Y`GGu⒑ =J4@ϱM%32G٧ԫrS`R'aj? HKciEE\^G2 Вf ۞,JN+9򭈅h]jZ\Dm o~vWN+HlZˎ \A" qu'Y8iBr3ĺu*Ae w}d Md%EF\VALbՔ_Ğ$$e-lyQ*D^t`:%T$l¦e*e?n0Zu( sRT"`~tm).__ UInCX.7)YM$ #*R@%|B@M"%$쬊FA5*FSqrd*=42?Tkz9$;LqlOJjOOj5OI׳)dM^Ug\f%z=K{nmm%߅YSmh =)c-e=; ҄ԣt_Jl^d >M+U^4j(q-"BLeX[tn1\ YgbVtVƿ& tOaP0- v4=B܈h(roy4_C@ƍK1Hڣp 3m~Aowu78?I QnQfj"ÿŠ /˼r3tdk",PcDZ;?*_- J 5܉/A@͡p`ɞ4!xGbXFb8fE:k -LRݲt}EzG.<N8ٮi[0'_t wv@/λ >ww}˸tճY˛_z Qpnyr7xt"0]H5OMyuj VXn2 6'~)S{e#LB_t{CeՁA靛u; p#kP1[~[%Gxgƀ+1-⮂=Y;]')u=yipnȇ% Dpk!^&\ Qי|S 45nPKv~1(lFf7W|9c<@Q;x&|Fwn Nl&a҆ T+xd=c3in7NEcݹep]CO3Kt[%%^pv1"-{-rВQAsbAب>β*Aڨ.#yل7Rsbꓔ17>"j GKc@KW](pǘ/m'oݴ2 \?#ȯ@b 6]l&V$P(_ 0$~U*M;caK $lX!zws&_HcV7KUbX$~\ ĠaarEY|I<`-wm齓6jּ9,-+ 7i˕[@;bõTEsm=G>]55%ѫAP=EeNg4}Ҳ$S׵(bX`. `e2QlTs&Wԙr|Duwe5G:Eev7CcqueƷ6g(l M峊Ǒ& Q[|-q#dBpCu5;O]?47 +~T:W?g))^D㏇uTWr]HcꞲv+ ,#lB_ |MߋpΎ4Q<.lG'a)A=k!Us1J>-:pb#z7IqmS)@^|El0v#G&e{Y iO8Oq~|CTR8 sH:`,N1 kK (0[XwІeAykXw>K֠9gՐq57I00T2Y ɣyg2 򫖟fvy*V ɩ`M]wI':o2 fN[~qq&ݲy^/' *6UҺ-/"Z)aG?{S6_= ">g' _>*9f]"3gP롒 .TXX#9CSbZs?U@q̲]iDZBRQiҐl$S]It(Xg҈3[ebxa WtxO&9[3rjF Hn:&_O(nf'rZ:#Ew]7Xqs JN녝JtVߠ$K9=Eb~$+2/M,8;s?$V~Wϵ9ݔe|.uh^>sU?˓Ybbk