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  0+4l / Paraconsistency:threads=2elapsed=156.834cpu=305.088gc=3.124factor=1.957zXZִF! ;]ŗXf1-/6vR[2&J/69*aЎur o"UO)s H寮L펠N]͋_7kB+>46 =yx;P\#`j8,+%`_̑/lxL6BD\Rqh)ֺc\iҗ8#3oOп*e:λtWk(.D{l+O /ik{|`S+ ΰ#ES֠ le%u ; +'8n6$G<,Îhqc1yOvmK mN߳o|QMfuᕯ)&CwitAn@ݪpFBn[ph{!}[ň~}Ń+d^Frpor U647vAr1db+9 > cӺ}PA2ъMڌél!tO{r)#8,_d  'rKɴ1nQDA<ɜq,i**vY7M}KS҇'}iާbB/ʒ(C♞2f }e=3kd2G):s+%8޻vJMs?04|{2&$֮)^pk} + ParaconsistencyhBɖ;v#T+,"wL?ߑ^[X^ۓ@ewd>'O:y&//4HQؚE ~I6!dmy` L-\1 .QLWܻzMH5sw8ɷT[9K}e)a&ur\x  n|J+ .&ǂ~s`2X9Z<4"4j׼y0p|Fk'0A[&[M'xZ:5=ӊA/&'0B5 %[[{kg`cws|V/k]IUacË my/% -nl7Y w-mޱgYZ7zXZִF! ]ŗXi%qWs d6{|2:b=kfY3k9{ =%K w9k'q^rU}#0@[}&FdR:1L^ZFO|s_eӬO`::S@̰["vy.Ձߢ89#~L~rV[%UF4/sI'&Ñ>ֿ$X1Ap*}=,"~3nhZ)D N`,E¨8/: j QLd*{#%060>FyԝHtlQS TbGZ屇@VVB(L`y5I/Y$ZP1UsxX+6[jqWwԆA" A(HNAJ0PvuAXVH{?c1$|wY|>j^GXU tH FN)3oan& Ҟ%NwrDXqZSCD-(.#7`unriNbD4@uyp BDIdpg;gil_ <된j/ĂW1䆟񉉚z_CvS *ʻyxD#dV/^&Ul1Z!Ƌ^,oKv:ȓ@40 ^U.z4{>䇥of k E`1u0}3;Kc3_jej_ܭ:rTWwZA &ډMMtDcAXc$λoݹfZ3(A";bZ Wɰel us'6^\Jt4|t C; jۓ-֑8Od+ pHЭ9r;/!JpLȃw0ilz U{bɢ5?tl\gN J//o{(,n"zD(ohG.: !>ibV-AQ>7.e8Y]'#r|lWoAp>}0RP2=\_t, g]-V7gnX0,X 6^5X sh8eòG'j"I@K4)Qbcq^նMt "݁ 6O 8ZؑB&vj&:~[F ?iK("})G=,{XFL/ɓs=H"Mio@ ݎ֌h g/UjSBg b\ޕZU0!?֙k@X݌-Q2ח$fvH0adEAjM_pMHpH".x}X WH]+C,x~{`Н80k,EЄ._6oF<}X?p( / o*K0SQl944ͤ$=[µի?Eаd4Q20ʂ=eC8?7oG`Wgf2KpF4(}CvmI ,Te/y3-.Om'4NU e@(@*hY5ٮ3`iI!XvAYbDļ[sqmo~ zF$>B53Mq-U9汧-n88]u/8 D8P'0NV-(QKdiop&jWlXaLM@jfY~hr~}?SgJGG^,=htJ}yfŦcz5[TMEYw_pŔqN ۞-y@=;*>NWl6%gXTޮ`n#Q$۶<Ŏ_p8oZ!ǻk"x&=q1Rv'Z(NUFo<_lD 𙾵Y`L 2(U~eҲ;l@̭taZ3b?p/< %3,"'8UO?-**0u\d z7 n6ObdqqK@M] xƤFѳX%}+)'b[,ԆtpCÚz/GDl?']4 \pjo`|pwIc->]Bݾå䏷oωHL\qo7Wffy/̾QվqNKM Q}P_8Y8ܱ;'9#w{l~gyef'LA`H\oaHHB1V\*e.(%GxI ԙ,-9-3r4#$4o z-h=ڗ% dLUZb+*n[}ó,jfhL0&,,kA_g'A~ѥE tCgҋr/QF0%!,Tdc~tY1L%x"\N0X{)?5~f 'r^@ryY̦~E 8/;@XPé _LЬ!RQ.|O 1 oEӪ49ME&k9Ȉ6(pCh|do q9wkC^޵<:ѿPs@Q rlso`^= }Q̄\Nvq" zd$C N fpiF};q|f ǁjeqrY%4a!jԤX´DȽ q:n&~e)JaQ;%D|r8%ا0{E O!u׎[ Kb@IC?5N Owd`8W=z'-O<`V6B߰%Lވ=`vPffw7R Vl[z8zJ.J]clXcQ .$c?eQ#p|gzCg ͖iYD&oK?;46Nm8\M7i8Q$4;>ʰmk ٺWn5/TS_JwϬL#lEM>"%zP,'O>)o8\XOk;΄BՒ+5IW~ݧГ$mj8&us3] _cZ{)}TWwcmN7}v"ԬKO߭16A=TEl#0m(vӯqey:'?7Hg>_bH)]qa5S?!]kd&::{@ae/: gpj8+Yf6X+}鄿M^kլ'jBû%BZ2Hֵx1-[$BWe :^InhU*)(~.tc> Kݥ[?.Ĺu 6jO :!.:Q F^nCݧE:w}dRfXrFtW5!k!i$DuPZo:NݼYE|1D#V!1e=w_v'ת(6 $3i0S8rnGE3~WRGfhO0 o^ZТ.Sg`Me;).З.㉳[Zp_fHjԁ6 Z?wOxm&K5.*ѺpGwp9o'﫯ㄅuu1{Gٴ'o h@16*?)7;EbL?#X#x!QE$Ѐ̹x%f3b6*qbC[`b78\u/Xyf8-:[JL>z.+"@Cu8\c 0L-cT˦8$KOSSa&Ry|.`ջz5H;J[^Pe )76ɌÚE@:0nMᨎG 7(,a>Ż`bubp1xxE G8+j@t /n\0a^YpuKc|eh-8 #)"2ə̘4!m%kݽ\ŜYƜu 1} P6Kk%kh6 A\AӛggeQ&|l]]᝶ZdM`#D'~@tN˖SLiZ;%Z>;ڔIdNJtMb(˄y;[ jh.GSfa3]'ysB:(:#`xUfl]5h~=v"@qn^0@\ kŤT*R)>,fÄqANi7- n3OqI¼ݼL0Pcl>`/ Gp˄i:\k33Eg'Nm 啇f9"@0BR7^]O7;;DIiHoFE{xkn,L䅅mT}"܆a h9["![<,ObTZIJ֋^ t8GAiqJ'5 HN +5A*gJN}! 4̵f!r/_YպE 98|<6P~P\wrc2i6"'9Կ Ƿc־c5A}aG`lQ#iYHiueS0~пyakV 6[MGQx;N~k: .(VL 'I{vF_Ű1[z>6MDa&uMWxh1.R5pω.thv|C]1PM0xȹ溩,q >J7@lC qgfvX}zV8.FE(?A%"#bej~zK16H\J1%n/.V=A%nsxn"4#CQrN,dǑH,I]oJb1+Ѝ#/%Ny+ 0Y^QU %I/I~2ܱMt2j豈 WJy,}&Pr0{iC_w UnY[>uJH &WiMV$+wo^oO̞pJ5Ą&Swe5r_rꅱE'>^A)xl(^ۀ{쪧G]xS#&y΄^ ;RlM'~ddI-l>ሸL,m3]_@ZWC)~c#?9{JNM̳/ggj ̊&L JK|'`8~؍g<}g?J*WHU1wra-0sx "F]%{N-<~'O a'ZTt|n{?O]DZΉ ).zj/>ZxLcnGVB=sw! PYO!=ϵԊGu"~'!T܉ }ޖuK1ds&Map*\&U%5|pbS9w'q%Ii鸅S]×3/A0pd׻;AJCUyR*Bp{/;Z'PW}e+ٛ200Y ABN3΁X\z UGN{ jh)@O:2_C $KcbYL&'e9MDr9)w{1WoO"և͉!x$;/ zP̙moPO!k;)0K]Fv>@W͕GWd.s:\rJsIx2zDufo6l*V3W`k 6!?woW_3,AQ-p Y ِRuNn㣑rNqwqk @܋ӜEmlZ˞d(iп?9#2Wev=$rqIW&GJD(NH: Zx\rgYZ3ccae0218d69e003da4c5a0348389b45fc613ead c0955b1f12490e572e1204930881955e8df5092d ee917ddbeef1eaf59aaef5072e5b4e5081bc965cc7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8