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   T+D$ / Paraconsistency:threads=2elapsed=154.844cpu=301.264gc=3.168factor=1.957zXZִF! ;[]ŗXf1-/6vR[2&J/69*aЎur o"UO)s H寮L펠N]͊ 2 ś?} ͞Z=v(JYmqM!xQ `_HQoaJ .ls`1M˰/P[<*S a]o#uw.p\mfȅ9x/< go`]XX!>g"c}ơTµAƕXjXӪ6pP)ONOgr:K_T`B0Y@4eσrcoUmͻqI] !=$S8 v}S2^Q_"2[KQbۊ3v[ZZ|:$H cu7) #0PZ̦ /dbb;t.@cWu(ն0N%rk\<~]`TNBD·踮ؔؓ + Paraconsistency\C ">^qO ϐ~G'߶6z"5V venS7xx-Eh!F.iTҸۢ?i]OB8*ܨy\s[J!1+Q(";:)1\^_xHUsJ)mOh'RS+zwY,+{ojY 87  %ۙ; ))&gHJW=nu+_p|zS_'\haA pVI gCW|w-ڹ^+ %eif!G{Eyx3%i Ea-&pFl앤nCԔQJZ%ZtLM0M썵l__[.XVYrO(i~=}T1;G0`Q,zAl4ܰoܼX D~7(q~*>o@vnO rG LTw gYZ7zXZִF! ]ŗXi%  w* \|4'%]o24ֽ6b)WfW>Kr3d痊d""?#Lm6nR ۃ],$=T@#! yw#;.G W 0g;ozu]טf8 WȚP*p,[f,(,B!P~3RJ5'u,-{,D~1p!/I 6W6 cl\ Ci1lkF)ҍÓWk( i(+#5`Ѧ2L A+Άv8epKX^|jT؋0/lE>#UYyO\ޅӑy>e8t1͍߳\aTLhPO51}+MTNO(WS:YC)p$h&P=IV6j ,Ϲ6hiP%džfɺrZZ\j B DZ~xI БvnPzEVQ[`&_GeK#_e J bOq@cNmtj*إ)l0%y=я{(^nAhPC/Ch%A#c.d9e:q5+َl[ZVv(K?IT9X`x owxy!Vl,pka6e1Ck|h>,ΕYwnj(=_D_eH{Afy9@!!ņ<_#>Tp/$Ă(=ccTkcHPXocK'X_\0Gd/Ou$qJlut#kw\$ XDUwn)"ED$_Ф Z+$r*Hq܍vUnl$pP=_EA'cأI8?7!Uh2 V"(7A akTeY[a8>rWzp\LkS  'g_LLy`H3ٓK"BW6TqjzX e'%B7aF,auZˑ|iE"ZC\.^y8D*>xBIȫyweͩNo'V"33ԀPk3'+2t P&DSrlIH'YM*c+agnpO.8sOj)p7~ #caNa8) .ASxP!_FgTB!]-+T=t^"N}UL)<ҁ']مTU$sP-0n5cN^3 ;*<%]+`;y鈧V#0V;o􎔬)pjoo+ 0rTdjZIP0~G/G (W )}Fz|W ˊp )A z$ƅ6_Dƃ`8H1M1-zv WS KF&3:XisaX7i=\Btq{ +vcij%g(j"b0l=ŽƫȇFۙ 5E/w8|1'̐.S}Wt7(nDs|Yo`w~>M 23p )5x7z Sy;*K\i4J3m,3`Qim" $]ąW(1iCZ;% ?3Y`=uedȤq8>ʩwZ UP.DqA%c T}$^{d섓ap4 w7E)/$a%|8Зt˂/`)ykڻ+e^n \f>sѓ플*59փa)Zu|},M[zXjd)k2X7pz嘻!(I9g .R7=^h*`g9{fEy_fҋxLDԔm-#M P9-D"rR!jYe\\[&ȍ:~M9^X[دb+ijƧ{&D?Ĉo]Z8٧ aFMSt<k ʬP+p=rJ+ _ƒe 5;3LB@ pQƬ,w Hvu֯ln]ki_I2u0 oAaQbLDJEd)~&4K7hNЍtM ;+>Hj?ߙevhVN-觴޲j ;X=P)DI-5?0 wWTw!5R|9R]㏃ɷws"G)څ&7af=fUaephu`(YtϨb;Hk%C-_h#hdį/3 ^?9wcl"﹢M}ػ#tRKLkҵ8g}Z5 !o\D7cQޅ:¬Dk)jv zk.<>l3W/τE_p2F\K+@GV$..kF` y'%'[ خÞ4y*C㔨m} -xfz[qs0ڴ$} Ծr9O@Gj^;v U},܅9V :WsEx^e8c {Gy]au޲ttNh~Zw`=rǶl  17ZmSb L|Z$E4U6|M ` 4>] j]! h9+,DreTc 2ӭ,0oo>o v,P.uA~vS 򈐿%7Ce7a²{ #~51DvO?9Kh-1,h#XĨ 2I-%RDMq_nG Cad̖C5HfGMS4V\g)Hcg]IR5Y?<@ h5&eSqPm'XN;0EU4 (V)*I@ō[  Ho3V3*'ɣNqc06tOyAiG¿szWTk!ך@#@R1ǐv3P=tU ;70*ApkU11u8m76=`hDZBԵIЉkI  ^x 8s R>"۷o&_?׸v Pd*Z^ü]ٴ GؘYXnksl7**'Bf"ptsOZsYv,Z4A_o JJK<+G:V?:/X3I ƅ84X*uFlqtHôBY7JW-1lY`|LUGmCD2l=Ȕ%RNV>-⁗KLYjعSx`sAPDs0k(j^ g0ʔ595VK8mRxv߃((PpB1KsxJ={HriM4"ILbCR޷X;&#"! kAe< dh`qL?(Mt1SdP:ta=2KyҪ dbyE$W<wڞMdcQ2jÀpfII6pݱh{m+c( 9ᖺcpڏPD{n j5ut+uo[YJ{+ ,9uD̛ꐕ`}pL 8Aew;) J-rnWEU^`scphUʶU( ~cgdY i^#bCwk~YE7jggEĺ`Ϻ%fSI5" qU]4D(H&ض~v ZHuws+G¨ga't(p" zS7Zee ep—93C!G?Zm&4j'|[Ϟg/K9 I"*m(u6M'."܄=,ܫXooKq{ā/a z zRdls㮬p7w+O+!'$mx.0־hv w$ -rj< De9 ͻgYZ3ccae0218d69e003da4c5a0348389b45fc613ead c0955b1f12490e572e1204930881955e8df5092d ee917ddbeef1eaf59aaef5072e5b4e5081bc965c9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4