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  x+ / Paraconsistency:threads=2elapsed=156.914cpu=302.404gc=3.244factor=1.937zXZִF! :,D]ŗXf1-/6vR[2&J/69*aЎur o"UO)s H寮L펠N]͋( M^bF$^wPpX>fs vt봚Sڻ?c2Y#@uIF0e6Uk./62hlWize̹DU2'auu@;c lfs=D84/lp=?O^+8#Q~Q$I5w/:y`d!J-_KyYEyhKKV0O.ƛZ 6o ؀}؝k3v=YX@8~;cZ&'K\ЃM+BE429~hC /o]coXRp]} ȡ 2Nϭ?nm',ᢚr(X{݈_SKEX>@jjxށT]WmUh@A<ɑO졛W41{xW.K P+tWGÈQx4癱4o*1ޮ 0v.v\Ѱ`s6:>4^^UBx E+0.Xtv"x0p֔7Be% + Paraconsistency9Jf_'5ʥ L9ԢS_L@q'% οxO-NXSw眪Is;x22@s$1|`/ekÖ(Rp*ueWkPQ"/ O~JuG"H7b"&XWA2jF{b6\B(kVL}BDUf"ztwmՒ$E?Ծ1EUAW"Q t[t|=u0vf|=vT/e|NO.L+ė²nGw _/(E;s4/v/5B.rB+%Js|pk\G&3PЅ̅- [|2sQf*;jpX*kcmmYruO"H"Pb|ї b* 'tʅ gYZ7zXZִF! ]ŗXi% F龅w{j*lMaNs、O?ASˣ>#=Gxq^WwJx53X:`RmE{Agr=gzk8Q|NpDn:AmV"N='g9کF~t¹H4ۭxh\iZZփ"$IcAJl`Qf blKOs~;s_*Q6[@9xdzSjfU+MRa~wBsJ߲mmQ" d*$ p1ʯ:b 4渐yƩ?*Bw0 k@^t=[o7zxx$Δ&ʗ9J`dp:z7m6t Fw c/X]- m>n¨yDk+ I"3M*=$P1U*?8z?lO'aspDjm gzQ+Ɓ۝n /ήΫw,Ǿ^8\0?f®UBʞbCiG1DKӔxV3w=LgbG6Z\JiF̕q:3%*Bгl;PϢ F'U['_bO[x9yf}p VFTt ^ keAq"J؟M[ׂ ͆[\\|r*;%3 Y[ $ށ@Jƈ칠x8RKX-՜03MXC:Pqls?zm4f,W(vƹތ 8b#K,&_iM>1bds"]aea Ͻ`>C|Ǯ1>_Ԛz}p++ ^M$n߭厩qTl 2ca:L2|B%nrcN\7K1?WQ 8 6IW ]މ ^9N8,o<) k)Co2/|&dOW!Eawn뫄|X(#]~]'$蕃?CN~VWHh%WX׫5<3 glį7Ut[Ų?I`WlUz5;uOp _QveI׈cߛ8,)@_c~ʡ"x3y{X:$G&,Ei8V & |.Bʬ uO1sH90YIVq6=&Ӥѧq>(ɷ]X89Xmnf h]ʫSb#8T;1acoQCSV9FNg@z-? \ RSqr*hں>1v@`[D T & 8oS)xI:Pg!G"y[/1D2gl!jDΈ/JI@GƧ>X/yJ Rm<-Y[' KMZǢ|o_K<5X-!rT ՠQٯ=r/,p.dCtS[nB9ֈ ڍ@t.O$ O;d|I.h_s.ks] pG~zg+x;<40=MAIFX<`+r œ 9S9R+ o5^~̵q>NA*ҍ啾Px"2_GiY;W<󬹍 +ROtGUӡ9ޘIu^^yq7﵄2CfS 婹|.-bH#/<-67S5wi9蘟ӈXXX/fUpiWBEVQׁFAO Sj-ْRjiկRTm:]0%^S+؏U5JZհ$rq9^yf>-1 %DO{VƮ 7MdѰ@ @gZqinOH4 =>LHh8tYXa{ k>7N":uL&Y8x60lo\`k5t2V=A~^8Y@0 +^يjS-Blco7#Gpgj}3%,W=]a0 oBoa>z6s >Un1P-.Jl) qkoi`sO#+f6f0<96ScL$^,=id'_-7HEajẘT"$_ HoE+fZ>%/0 WKGN߆UZuZ%NJpob ?6d)b%oH=.⸁J~YhHGYх%e_$l|Ka.u=-=)F%w*@ڋ Cq SS%؟Q]J(gQ{.qkR̯Nγ0F#ȏIpcXeYJ:28е?j،7p]/3-B~?o'Y/ﯩ6Z~@78 JmoG-w$+6 7vUG-w(|c~Nתδk|?ked?a^B5:cXb a쎊ufT>\{TUE|M4?@)0UJΙd.s<%Z"-M3 S)& noP` 59- |pܬN9͓C(98z'b"RQ3ҴR#^k01$^FP7{_!pJK1JUg@+q,8!HĔC Zie<*03s+B폦ϝELQujΌl]o򩓢 7cSA8pGj@kF{p7A:;B_f5 MEҖ:#h[ -jƣS)NO. wDWN$ri0k0ii;TDqbu t [BbDؤp:8+%2Iț<Ouvo2II"~K>~r1Zu+fqf #3/ڹcتkd0iVʀֆldo;m5JSTFzH}N}2AnλR7@pV*KeF=~ftG+A|5f]#ꓩiһKWʊvu2>"f4D)ރ4Ne"d _h{Pлby_}"zxp&ׁǴ} O;#xW旭{ ]@߆ŀXTF¢ڦ5ܕSbl9!&TDa(sC6ـ.,Ԗ㺏taHzVZ{dOLC[g ^+ $SWi QO4t}jr>Qֲ$ޱ$; kzƽ&'e!2&A`{$]*X5ﭫcwOmAas [RcTCklO=f,^.|_롉d P*Do`誒&0hheO>T_u)~7tA[" {y^i`~`lS%l#8oE``\r%ލ 0 nvJ͖[[Iv$-Q"f҂(Ύj `~أ0eTEF @0_R8VS~vz>>S{qXHc94A583ѾB+зaf#0B ̓k41W%KpD䱶7[xGt8LsV`۸ F$#Qu>Dh_vO'm>3Q{,thL?gx dzȸx+h886H+eS`/Db{a!Zƫ${;btVTLI-.A&$'@caԣ)j*+HqZSn69 0|k,Fq# xqA#NG-+*ǐEWg喤c·>=T6w!=N=s-o~'Gw1O#q6ٌ J/k~Z1ϓ/ȧ=YeAW nDVJ|szp9H$ŕZ)OŶh@}"l"Z@zM![Ƚe8*(nghT$1lYcf]2 *ly2A' ]0RH=Cѩ?ɂ*G-AfCA뜞<#ƅ!NhQvuo-*S XYy.k,kvyK=+(Vq.#9ZE(S& l)RhN'5;kz 54餭>_/˓\ӃEZ#5XI iU