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 l+<\ / Paraconsistency:threads=2elapsed=159.466cpu=312.464gc=3.216factor=1.967zXZִF! ~]ŗXf1-/6vR[2&J/69*aЎur os9R|>`>˞`>V mJt PG0–ZBk~nik󾱐_ҡʯK\dj5=jezz#d壂k3-GD"!*qY\曑!FO+ԪšȹˡA(a׽wAvSl2r#H5uwͰ'~!׊\0d>yR!s F{%__ GB~I6 { zir}kF< + Paraconsistencyf{A)vXux%xJB. ,}}'+\Zr։L ;JCdКuu#G޿ˎ^g9G›)aG<ui_Akr ֱt\pk516l7@g[{o3.eNX[gYZ7zXZִF! &]ŗXi%6p܋ėwzi#DeʙGoo5cWU@I4 =S>"Fh`ΨS\o2 Qm@ EGE0 C:D}rdeTXuf1,}S$]S4ii2BWIF8k@/p1!6wf0/ izflGG0$ jrws뤡fʬBIɶ#r.m @f`1^;KKz[(FMmۓ5Vz:ۭ^cb1˨Jˇ6_7Fd(mRk܇xCz -jK:kQT:E֮(t&@0X@v'@=#.<Ĝxz.1gt qSwc ah 껈&]om{؄&ŴoZ% =*wŰ^$z;-߆ a | [¦4}{A^vi>LU#ټOd!2^O/Ɔyea$`ERT~|(ihN 1}Z.j}̢h֮(j|򗓴VpQ꿵gU*"kQ4&}#tmr L=y,ҫ%I@#)+cJhұfa9S.f\(aCDd_JuA_R.`NZ$oFQw韑Ô+Wx><+X lGRݑ:' )&s8g^AexU05ׂi8ڳ&lqQ1VZȮJO/1O`kI6 \p1^ܨZ> ]G2 Чzl}KlzD++Q[$iXcm+lgy,(}O\1l3 G^ڡSY6O+kǘT_"? K2Xu>$ғ'i 8醛o@u_L:*s>#+ SCPjd#ǜG;;K)dw/XSluRO,fIR4@D"ۚ/[=_ۡ@{IǔppII$H?## >9g'rȨ])<@:,An")=â)';jN&,$Kta9d)^Qc}|hR]qL"s,B[95!k6)~I΅9A+;WE)%bbnm$Jh8y9 E k Ȩ2cHb)RZ.Zmćq%MK'" ¹6.1E4F'B)HcrG̛m͍G <Jf2TxCY$knX̅Mfqh~unr_" kF_o|9xz&3=H1Scf^)άGՍZD1JR9bKq|K<Jrx7H@89f{``KPFKL>vxhia$ 8b&\n.g*M m,!s YpŊM\ϥKeWLF30f}pX2Ь o\Y:}mϩF򮝄en+FN͑:i[,:14')|uZnq2fW# bhΟhYuOa+HUԆ$68#fXf3e:hO~agTsISdVW QIT]AFbrrBA5 ;i}K1(E˝ x=WRZEqn,}kr=$X.p[QtcSWsgU} h!P1r.Y :ј/SgahvЮ” R5_W%$θ7}m<+Yq:'`?e[(Dc; U'j5۟ p"vfhs7a ɢ8u;ǯs/'|-ɍ%7_ b3cGtͫ&_{tY%;5™(6IN/$A9 e.OSWIaA9ZEdx(dr+xj/;SȷۧdK!%քY.hfJlW iW$(eg׵TPs_R7=&j _ Q,bHUBL'@XTz@oex;ek/I1-7_X-*`CXcL҉X`8l&P>EK0٘BTd'dD;xh"2]oSu^<iZy}9A9:;;qKTMdk*uJ^c %xR'@]hZAk]yCwcrƫ:2M/-&@ڑ2Mƽ&VYg !ac29TSt}t5Ty8(R]`=_-L0V*pM9dBxr>۸.9Syp &qn RxPqM s {}TʟIָ$y&i)EM:oNoUڪ<;cT,1ߧr5xvS%<@P#_*;IUiG[8Q s_ Q GHᶬt Yd{ϕʨ4k@u|# r5^B\Nt.Sg)טY?S$E>*&}`*7}ѩ m{NoevqMKՖ=?A{H?Ѵ@mxW&NCqNK =DWa"FM|1)&IrթzJ{/^iBQw]U.=jk12C&HE@; (L@B}׳k}яJ:ERзÉ\`qc -NM%XYчi;ꚼK1n*ߗ\;̣ 9 U@ͰVoY:E\+ |C]T߳[M/1vC+Džǫ2VTqޑ`j+U6ZMܷEcͿdKFfr[A,ږC lC A6%*t0[= O-$-X|#16@;bm H6@dbm VwTk>'*Lapؓ0[zg vo(Ca*)nDr<OKwdF>Ku5'L2%'mK7ے} 5MNxrqhpkL0f+6O"󍺄SؼL[h>?/#=VFb r7/:x{h:`I^pmY:kVc<{w74-?1jg4\NVhz:6i*VVw_yBH/Ց ѺT)M(Gxsor!pa@wISޙUCrƤ[I3S&YrnBM)TeVn):bKDlj.C[_ʇRba0PiRK¸VX*rո?$*\`Г@!.A WO j3AvEx) Butg!WL"vɖWTUA%NٗG+ u 6''$~ tWk-E=}Qrڵ.!ÌUb3E1Cg> M1Ou/z+ cVz2D(Gb)# &Ҳ5)͊x(BF9Mo?lSIc^nCbQLT_ap5(vk~ͼoJe)Nh;"mo!v+$PUQx!*˙MMRnF3BOCQ1]o bu"]7k7nKVn,J8!LS6D+R% AN}<k@`/$F8vq EskH^c!ӁϫBtUjNJ*%4& b E*0>&8fC,;*O6\8LV κd:VtJ @ q{xaLa#UӚ rhR-71IQp2`FkOϵ S^V AyxM%5 :QNCZSt7%Ĕ4Mᆰݜ P'ss/zI@yH%4XDq6&ō<St$-w zHG鵳m<Kfw҈4X2.ZC(xƽܺ1&WfIZo5T.yD={FbYZ-]bJ#̓dL%lYUU 5` }c#Snr1g4{uĺ!{_a:uƩm_)8b wkPHU *p8솅&ℯ1w0%VśUCю2N(7\ i(xUÞI1`-|+gիkˠFU+\D>5!=ɩR^ 5 @s}٪~d 3aV Y ό26rCɐBqXhm&=Yɕ-A 4˂GP:N'arh-dD¹`/2sUϯLRt 0ڊMX2nha"o[Ed_v(O uHSOgm ʔ+)@ ҡV2{^.T 8pfdٮRKK.67ʴi51OB3촴C@1@WN.TvxT~:_v ${  Xw6={{/m@ #5Im kDӪ4[-ZAnȶ,}jexW0rQbU9KI!Ar~rc"%`x JĄ] T!7 x 0_FP8+.V[T+lC\DH2#A/lKϲGwXmN9]^갰)E/͹܁ ]xV?E?U]Uk̸ Y"sֲKHjO=l @<(Gsg"Fod3eiv @I_/D )G pwčC"kk.Dxg##vn‘3ݞ" ~2TF!L2<9: IgYZ3ccae0218d69e003da4c5a0348389b45fc613ead c0955b1f12490e572e1204930881955e8df5092d ee917ddbeef1eaf59aaef5072e5b4e5081bc965cb9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36