SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 g+<l ]/ Paraconsistency:threads=2elapsed=158.551cpu=310.020gc=4.244factor=1.967zXZִF! ~]ŗXf1-/6vR[2&J/69*aЎur os9R|>`>q?>V mJр6837+)qOVRdh3&n NW (aJ{XKۦ,F;C[m|{EmɆAbO!A%KWUb(I.:&WB\EBxdNA %3Ă!ޛCƚr"^>/u0{"S7^93?uo.%a0):&SXMOj/"oB;cnerX| + ParaconsistencyTa5tlgW^O {30`{5LՐ*W!r['L)EV;r}(4VE)R!D WHƽ Yf$=$g` 3M>ov ,S2}v:%[ 7F*3FQclƽ*!F2uۯ+Mɡ#KvSp;fyܨpwͪʻR~{xP󠀳Z;; 5ʼXds<L~&j\W0|qzGAYfT'^`G58%&923s>'͊?1C3$KL 26AV* F|rOꍊejL4(9Hk;C%B&|ncolJο@PsqMS.nNnas`<)i3" 3n b03U"N < y(8"nu:,E wNu,s&PΐA+s޼ tH 3U@2Ҷ]v lܸ>}wwzMFB"aojSE껱}=\6oCQ&~Tq6TrX-8j;3RMhJeXD~ $Գ1ȫG.:8e} V){ZbF@my,R=Y HW?^1Ci;Vd_ o1#MGBPƵ(Ū+R;x mnC_1;Szh~@=F^" H1N܈Mv+Ɍe'/9yI1EG!@WhR cCŚH[kq9hY ~ @!'8Gw.V)4[9OcLljãvc!ԺTLNФ"Xi >a"1!_- x`Yi6 j ѩH4?D?⛶^3MqÝ~ǨBL!~1Tʤ";0mOl^BjMҐib8)qng'zK= /xt)O< S).$`W|7,1P] RL/;3Y_DWixq0}oNsNHn_^I]%=9^[!Hgb #q GVf!@x "*k´u{'J U?]g)-NggL Fi=?hTz^r:W,Dư"ٯ~S5;ُBsm;8lRNaS)ƀdqk.]T]c<@S0Yd9u6x[tx` 敬<8kS:sራCG]|PPpJ8-/{CAˢf"/B匢59Ɍ[[' "2kZ-g,!0~rC*VϮTHw/>5y =[L8]rϐfQɝ7xj=;5RCmvӝlCعϹksIHc+NOUu5{XKCklrĥ{DBR Z +Te۬ S*hA1)\^햵϶Hf)+$EDm~y3W5>3BR%/^d=&DGcC#d;6e…Qs ?o GryȦUivR1k_fsÄЧKKh~H}9PZۚ!UUWT۪qUI^]H(s=L,6vx*%³Kxh@*<]W'0.皘-,SYB&np@y?aʊQ4FBӥw.2["č'~қA,raRlI2V}v6-W@6zLۨ+6=TW`(hpa{a}˝MIAKB1ce6?{  x̤.u_&I"ƒUJ'V˫塇Pc.nڲ3TOA+S?BG"i*HUr~pi;Ⱥ0B3}ZLZW8QQ2!3oo奏Bna`I}a fimٛE4Z?u/jc}ELI78+,n$b~C%a*Y,e[Ez!/Zx^7ί8 [Ze#ßTw Gk_[Wj2Z8P[XĎenyBcwO]2w[4|MֲF2ԭ4퐖}P`Z$ [zI)iIp-lCZ0n) H3}KwLz'$mF\/cɝrP$yI&ߡBY^Y3N([ЉbnI;kzGFljʸZB(,4l&x_vgM:^, c-1sCU.aV{GAP9=]5-tѣF"m\;.V={뢒}:9"Vs,gk+ٚ}ӋcrGPV? Bm(.b ܮ_v8'O5%*9DqԛP5*A/e^1˸83ԀCo!sgǦ$Sl( Ay7 U'%rN ɲ`56|ArJ}w{ MpjbS=GgLe zXZ:%oTK$s(N<v*bц hm>zV+O(#8r;lk؅#RhJYeKm#O, 9}Y V< JĨ$MNONou%j'/3;`+ɔMRpj;g='ie%^`W.p⫈U2y֐N O,a(ń(MlӄvNG䨉Ydנ[$\$t|txLf[{Q3SAIHШW&yP1 _^Jk;T=#Guluy 91jof1XVXPbde@<*B%vqMo3G׍hg}m]U/)rS#LOM,6%\ Fdӆ2t<g4q^Ԙ wie[#[ ~@ayWn ? D*t tp*u9DiXBh[x̖kͬ@!;4|\|Rx=M` ZIdCr:A`}fj<ӄ C SWVX,UG$ W㿏YrNj2:y'+pm $z;3v5tvƤ&@ iS`;@cVb܉"0N%dKD/(qU0Ks\1Wà{q⹻?.J1׫èfWhqdDz!׺II=v $KD˷{PwU1t][zֲ3F ax_-2t/&_%혻GO'OdB֌I ^/oI0)4'!6wZ  A." _fhPs[_"gH?`Rvu>FOy$!|-]&N5 eDmk< L|Z5g, ;OXe|fDJ{OU~Zt(GsL72[sd>O].C@?"c sfo必VjJ+CΧg4/\; F13CQ)>miDx0 vbqbF}(2tX=p3U {mBk}zA]))< :u \)C{(_N>H#ڴi^0c;]cV7='j7Z+s |!μڏu9<Ӏ_hU%3,jSL.KF$?:oVOe0jz@6ȦaҢIv;C2i_ DįoC!;'~3}r!M̢AD&n F6XbCtgAZRkf}ʰ_5,Ņy ςDT 9_m}! "gOԷېJP{-}/K9=17C/ry0 ˶3@w~59̪֟=D\*lis +2=1qyF!DcZ_\0+x7Euͧ}"JˋlpDMe0h =l riĦl4 mz-)>pw&>7ƍ6w!cxҬ}Vq ~|(u~iٹ3w.'qF@3]!|h}7IrZ휶sV_┆GXbK}FqďPFއ-)tЏ\cy'26%_GPh4%{#05WIb3 o.X"֡^غs%mUc /@6?XZm>Ap$=[z\M .xQ7kyDfxNI!=H̃h0;a Mfݻ:j.WGX>_gD[ ?8ŔD?-oC y91I50T-&Pz[e(3#uI|ί@b^}1Tuqz@z(\z`֪՛SDcoW@d Zz򁁸h7T!K$`jEv\ci>L{}^2ІnN$&xԁ#^εUc>/z{ad1E$_GqlI6挑&^sCdLg=UI{-w:"J ߇/ܳ\N~C,Ou@quA 06'pU#$!Xڄc8%w5?K%ǿQ r?Ea"wV0\t4O()N a*{a;Z-;͖ 7+)?Wuqot"lf1d$ ϰ@ZbۘԂ-Wpn%Dic<81pp)\CBp% ѳ/T5~Ĭ3?D\:2yWI5E~$0\7{g0+e2f;]$Q(27>q: FgYZfe9983878fc601556cffe5e66481d7bcc1adac4579d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f