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 Q+T4 ]/ Paraconsistency:threads=2elapsed=151.619cpu=294.200gc=3.052factor=1.947zXZִF! ~"]ŗXf1-/6vR[2&J/69*aЎur os9R|>`>r2uq7΄cR6 htkI.7f#T\4Q[8kF`ND:/r:Sj/pFA 1$F1ykw;X)-paWZ2E-uJ@.IG=Ue?=&NWbk݋ko&ܣk"Ǡ3As}L,|:~ ]O B8}Uzv6k%D`FdNmfp]Bttppu!zkV{/D'.@i!FÆ&g3<+w 3U_Z_ۢD{Tъ?bz_&&n9gFf. 2.mgYZ7zXZִF! г]ŗXi%6kf 6 f ůC0W%9r6: C,'n|j^{F,RQ6/VYgt{#E:KRdzmRx ˑ{IΌNٴ<ϸVad* A|dZ(+:j|̱]S~8s{A2|ٱh+he2dl<:3&s9Qg|} %PQϫCZhb3@wrax{T]&|S%)p1+1UOtyA-4#ke[-=V";<)\=%۪;>6!rTݧ\1Z)L#"hk/XeZmE-p*$L 4L#,^{jTd#*Ag}yΣ8iHf=x b!WBW! qHU :v*s(A]s1rpޅ1\4[UDT_%Qh CInJNhB/'5}t,u3$ ɂʧcs` nl@SIjlw燍xm5HxƁɽZUi#{mWqOрPAW (TH[%^1)D:|%."Wf݌& L0:E ČźsmꀫLԄ7N HGǪmsZv'Ź̞Y-Msl`^ζ}Nڎ9>=MiM]}`#5)sbg rLz8Tr"Ⴘ P ||e V4INby 0E|UG.G_H .ǯ߫nyTټ@ ~l^'7}-ij"+Nb=TC S5"Z^ 9[j}EhgD=6;}4*>gnWA?[[%PZ 13|=%0Do*MyU&Ha赯x)_N3n{uux1n s~UE#O=<U[2×@llr$vH[2З_lN;J`vܣl^Y1rJԞw$NͤFG_^Jԍo! }ԛ:Y٠9{?Q^K/[9msf .KQ+SK 9u=o6y@Z{ P7$!wO Sbrr\[BhZ?jɠsy~-X$s#8{,ebƤ|@ .:7^a V lG`SEd2wU!ֽ14R-/ "V6X Ln"[9M$7J5+*1P4m7C ;'os(4D`#\ '.X2%:_ap̍0jLbe!8lQH{/Xj1u(4auc""&$:IMIɬR7G0iI7Uv#h#k%ΠP<i3IM)8|gP tɸz,JpveeB;' jEۄzsъ"u0XjŬ lc'ۊX9jE|j8ҽfNSQ.GCh ݅jEXUiT.oW$f hrIOr*z9qya *}o҅.2 P0OɆ0XA?!G&gcͅ!Gbm\F䉱5HځmxHÚI`bd #-cA$ +ޚ\m)T{86ԏ+ ?*k1pu5PDx@Qh9"n[-5W4sb>) wa.[2kX(jhD7䃫(1quk6Y>H_BǾJkF^"U(x*3Hav7(^'4J,[^N:j\٘{tg 91LxkS|I(ax&3WnHLQMHRM;rzN"r V1#Dꅜw P1=R ^M)Z!{0hľX@Na 2Xb*%JLaT}7F)H_Wُ$XSZϑ^5 bj[: ^\|%Lyܸg-huq4EA.5wdĜ56b($ԄZ6ݫRfiv M22Þ<6qc"%_WwC楌뢱b Ѓ (:KT T',ؚ7 `fM!+ֆ$O(b`aa?EQռO$)h-[2U}:x?|jc9T*8_l8ye S"~h )srT 6ڸEu7d$`,׌azX{\ >\e7 `ps6i5O4qvNZODIZKCc*CSEWURVr۳WmGډͻQP6~2M߁<;<{Y j\5YQH)<pG}NX + Paraconsistencyx:O%oE+"go.p&չhW~al섚arWeMIcaJ״\&E]REVrV#ԓԚ%["*:qHq΅vH%HS:BRk$71!HqxȧO Ge˝Q禬TMnoT{2p G4 rQؤg?q) l\SMg1 }z v Zt'ۼ"]}5Lӑsk:^>\&NET˦Q6]0A$$En(Z 9BTZ{8I4UDPTEI,ç@b~r[@70*Ns *R.қ2 qH<0]-M|/g%$+2ǞVgЀGf9~[{u aNfE?FE7U(EG4#Iqs=[ez XP&oaуYp;0nNsDiJ) RR<$o1JkfHu+wNYsI HB3/ʔm:KzT(LLۘ _!xdszcMik{R# Ns]pw`nwC¹Q6n*q]*fOҋE`Fզ6bDL)srhR*-D%XV /N˞mbeƐM<y~i ٧^I5gc O/qFY](i y067c0dvr+v8$3l蜇oĭeFjK.8A+>`V`>,n`T }t3dw-]0BCv,M!.{=v*_/jLrbΤ㦴˜=(#Nڿ2HOaľ-#d+WaާezD*Y= -T D碧5s":wRn@D3#G8.Gt`Ʀ>DQP_=bEng9sGH0XpOQpPL.VB1J(>*c(\&MxQ iܛ}+N YsQ6B%n/h*.:t`ZKUj36*0^\Q 1fY jPǫ963Ϻ${zWI2*f= AC|"}JX0;*w %_ Bq^?s 2 #!yp<$hٗŰCIff `+A5.-FrPSSX{D]Y,_t@*aU"~PSġdz6=yg3]8˾ڌşMp$K:,aV;1˵HQ|z@' `Fp_Cnh05d7ڬޣDnIf;:oHz9`0PzStE'@t##rt6P!mp ˣ_RS ,Ր9?/8L&`r68QSW4zzUfjWN5H1nrc>)p[VB~y~A8xŭuV)- 'Eӎr^'u5usU_Xgb3Եx)U Mz;#GP^!)|f:~v%S$Y jJi5\䷳lPIa'N`+mbNS% ,yEt# oIE>4T_@Ǭ:M#Mg 1*buNI=hOıV- F<+i_Wh4J\M!) ЕH fv_qAyAs9I?7Lg*c 4`U51K?-9D]XM8<'[e@cL8g ߒIb3㷯9xԪSyfIcJ) dN ~j]q}N߸()))n<oo $x-#d p^80\'zJg<ceDR>Yu7',&MMӇJ^J̌w:ܪF]4޵26dmhH(Pn1 (+ěQ(% |3> &GV4;͉B}5sAxu!:+%]Il ԉݶ*Bj$ rU/ԩ2_K=2j"y>maYoyi,ݑhs?y D12F.a ,6'$a4_dи|4W`iC64B aKx/&})€;^ . \"7 FӱgYZadbf8c45b83db8d8f3e6ae628784345f7b639efa72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5