SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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   V+vTL ]/ Paraconsistency:threads=4elapsed=99.198cpu=371.900gc=3.0007zXZִF! Ac]ŗXiɟ7KIxjbk- { dyv' cd_s7kGIXd|Lw<ٍ?E۾7X-GAakH{LsGګu)8.!kt:h+Z&UgYM̤X16#RWPK0+h.?,+!փ- ;%@{y?aX~Fox5:=Ng/M*i֭=QqzZ`Kڔ8R`Opv*sWߐFx s_[N r@+?|,w֩l'' ۍ 4m+]l2`Zg*[xHӄ9awXOh"rRm(A'#n-/#mԖD&OUm3`S"W-zyDd{zE^.w]Ljy+-,j͠GVUiTMFaEx_cy>k==:PZuy;v53D;uf5}340t@¢ :D!rkDC`ȻgѪрck^H@E^r(R {2κ)gYZ7zXZִF! SF]ŗXiɟv )z;N$|Aa# [`H:4d=X}SEUlbT)K}YZ7zXZִF! C!]ŗXi%BzR R{RkS_֩5X B\XQR'dg\].yK;䲫oC o5SkD׮(|=eC`IR(BG@{}qz *T2uQ׎Cb DRC1B.it-4{{$!,~ Za Usi$Y+[M6 w>&N9Rk l_ esϦa,|'OSwk2yщ}bnx=5sY/߶ F[/!jf]s}9 zQw[x 'Շ۶3뚜+U8ߤ2}Ixm+CyGbp<Ȧ&(^Yvg [o6&*aF4W ~1?Q5(<<Ft'7sSyߒ%kͮ~2vYĽ &஡θ8`gWzy *!R:p jZSu0$9>uIEy|d[:J Anu#װ><2ta) + Paraconsistency jj +K% ParaconsistencyParaconsistency.Paraconsistencydocument.tex7zXZִF! n<]A-MՋhvG"uIBm5D"Y]O]SAD⧡c‹`,G @A?2H@Rt]#.߀#5k`%'~Zt+(.9Ԯ@aͻ^V+cgC.%Qu&|+u:AgSܳ.D2_Bu_Ȳv=ySI~eb5"@nB??Y;2ܑϔ10lE3ib$wڬF>N]1::%/fj97P=qGv0Fߝv4*Jjʕy_al4jfje dİr9t eI2?]+~$`m "yhyDN Q3prxh&JI8Jz!CQH;©aüSH47 ..g#R2>AprF=]'lf)u?M۶ρy@<_ #IcbIM"P3|'AdRB2{1k{Wo J{Vfav[\Y;(DNlVic_uF44^PU?AsU/ԃHA}uiAU?L; fJ|Ν`0vwC( gAfRU`UBw4©S.}U'Jf3Wч~RL2n0DP X e k]!P/ Hwv8e|H@Su4RhGb'Ad5D}?z\9e"6tWl :%[ȹ*ra[zA2 ؆z4 y% |P$rʙ>*>&lJ)~(%-. yJI-8Hw'pDa>~o]Z{GU_u(<ʧݫf1ޥcI>  @6P'C\DhcFLt_wG$ٔȭ %{-N3#Hxl>2Ksf2'(G8VUst+L-q7ÍsB8~JZ7r/Q ANK'q|c|kk;pIaBU|:CȮWp{MX cAKѫ$pUx75Dnç^_^ݎ]E .(cW&rQa)|{&˶`1H< u߅8k/K+Oڼu-zN;q6v}_5>H.|Xg'Z"N)sL XoG&0~='}MI-WTF)oxyIn&NHzHgy `Rk\jS dʺwQ7 @4pXzdžV~v B\r7>gڛ>оe?ĶTM ӿh.r4>浶}"xt6׋Z:^fST*wAL^DB?~*) #'Z}h'EAeL"3†P(I5@ ȴڎ_x1V L%XCP!hTu\A&[{~t[.v \-6#1Cx3u}Η'p;YH%cזp)fnԅ$D%6J1aRHpS% }kʓqBRlJK+]FaOs 'g 6U{\m)ȴf0-yYA*hƘ e3՞k{yd Wx ?+K% ParaconsistencyParaconsistency.Paraconsistencydocument.tex.Oo%:#ڗHz+)h=Osz'|<`NL$kL^![Rtf4Rty ]i,VzaG9W3ʭϾ70[]+&ݬerY$͡|mUpA]4X %A@glAD;_]AVߕC c |D db+uFʦ,).~F&׽)k(Z=^Uk@#I ](}X\buyc$~#/QΔe/cAf+E8sShU} 1_ SH1@Ij L~\G8j ^Qz6(YKl9KL¨kH tތ$׬}M<53)=)y} EKRqi[o\|En}!B(x 'R_61D։3;7V=K>|!0},*7߽R*sH-OFpΓ՚Sĺԫ?4aFƯ#1Ha^S~Q'wR`SN4q_JF kbO/}3+;%3P.~ɦ^Qv]e|͸GJs[fUdf\NMnOd6g3M|Os}vXk;7 I%*)1nSSюKs @QM ~?!p SNUYPߦwDhC;JMemTф)^f\cR&;դTng)P:l! \(cA#){7YazT!Xr&ڒ3$D* SJ \a/øRGZ4s8WPYZMo1@hIp.E>`S=(\4# 'AĚ.\ĞJÂSpYZ<z>abUI~|',^Mx Mw M'Zdk u 䦿)@#K)߁zl8DsK)rȧ6*2xH/ +5԰U+%G6M:; 0 & 9C8G ڈ:HqACm; s->9DѧSYI> s2&U7OM ISdbS4EAb1 /XYjEiPдy#D9;Cx:+!mhq9 m;Y؊J,9H^\!M1L{wɭC3q/1YeѰˬ$JR?f;7N'Qq%;ZX1ᔤHj2c,;N?d|Gݕ# hkfǮ3\Nx3L<8nvs.eLǘD,yּPc#_gRXq׭ّua'PxZM]KTzX 2n>9];k=7Lc(&lxȢ16b{v >鳼X7S(eo~*6% dYp, kZ|mx{?x Dj(eU3_}@.sFԞ]zW.+3K`sm4UK4LAAE]ܮ /T_1{Ki E/9_Z8cBzscF=ye)QxOXfD^6b_9KqN_.SעTH̫Rij@gKu̦=Jyh\' aً -go~ D}g2ǎة$m@Tۛ[ J׳ӳ<0Wa&_Ps.$t=3M;9e* 2z}.ߗ!SgR!|\?f<_6n^;ZMA*z'} XyiNux ¤,H.`zEGh~tdX[/3v Uso0C0MA_dSw2orw7 ulc\| tD< \2ځu`ṁnf,:MwF:J^p.4#]Upe饃tQP3}o$Ѧ̋2 .|~JԦS.s/શd1?m ]V 5tkTՍ!Z"&;4(e&&{)+Y$Ֆ},.  }k?Frelm8]寮B?N=86H$,5TZc,R ŝ1s%YMߎk6S#Zj?H1ŃȺYoZq.1EYN*p3P24{Yюmi-⩢]4=43>{S5oQDlL|h8 +(Ԏ۱JvèF/pb*H iZ{Wq_vCgBqvmA&p|5y6Oh7SdaZ>\QOfDlOW=Zn5vZ蘴}7%j*D-P:WkʊQnϏ"OCOJ #@rn[u%Z`H\&]1eH`n_m^|eTӺDzJ0t`26aLxp8"@W>`\[E(&UEW6[ЋHϫe0f:?֍P`G Wb]ݴ_ TWZda6-U5E̮݌̷2@]_WQtfvp2oGaJI+ }%+h)aM'Rp"fP6ĺ5%11\ OoɀPEhhDp}Ao$h. X(r^cRq f<`K7 x'+cJi ZYΈҶG"r}zfʖ3 UլrN0B~bפ1, ?ۙӇU :Y*O3(TUcio9;创mH'u-k@ʎo6 '3'}rQJ>2`$&Ǖnre[quz)J H-+Jl4utBI~;v @D z#"8%^=ч~NmU&e @65|k E^y ^5b8x8eʼw3w%y7wBSd)1ȧ8 c[ U[+ט:V$IrgRR&fe/-0e^:"=3<5|Q pgz#8ij;lQFFG=Rz:$%l%@Rq&"0A͑^$4)vr\ȟe\hrԇN[wX¡Zwq|{T jDnT`Mm}PL+/ty̭ Z=>RAݧpv Kƻw>m*{=TŕU":HqpX|V]rau \@ $9GP>9-ٲkLAZsai1:1~cXGfJ{ޓ}ʽMqwz?~%J[b{OGRZo(6{NeuDݫ5Ǻ^*1im&z8JLCL[Ph'`NmݦqTͶ Vrb<071ߌ%r.SlЏc\=1ėn(©F Snh1j8쾗:t_=,UuX( 3ۙvC*9+[yc#*,"]iR3p"9WgP#G*2oV8;4mA&Wu2vLidq7E4v™)j $ӧ aq_W?%fZ@sxs-1LnJP5%?`5f Hgݠ-x #$s4۶4CTq@|/^?: s`Xޫ< y^H1fY>tkg@\>ۨ.;mn i露3OOT;_U?b)Lţ *SI(ڰD;̀/A0zTh{OjfQ+k᥼eRf?#QcMhV ?fi!ȚOS$7zj\F§@+K&vX'/ƅm"8Qd &D'̤(,~C$&Tv? EzےV7Z25䌫 Yu g4~>KRZ1%켚$zPzޛ֕^B D&#+l#Zxb\W(R@e5hNC5e6\%@SU MGV|2]=0,a:=I%4 }l\sMa!Is-n{Ʌ%ۼ*ܛ.GlQzMDeuyڝw]IcZmjnQQCo1+h-+'v&㰭 y}x 쓢eu "o|ռZyLPeޮ4`Hf#N D^>y`*8žڰ`-l y⛱D; d9?*f1_5fSA$$(ɿSvGz^ѓ_||6'SP>zŃ v.v=Jv7?W2z܃HU3X2%| Rb[Ǥ:?wYU''N"ruiMB:=gviˠ* KtY]|r;+N@l @ Ҍ!7PtČD;?akF| ?o|7XxOA7lyGv[-/Ø![y]Fm< 1ԅ-M OGY݀0nhs[]k׺Ok;B2,(Sygv+E~ ضE}|p{1Iy ,o>:Lju\ɣ]ڊj] :VN[ Au8g3s]2q_:uؘF$@_2VD_Ȏ yF쩉Ze?YV^{pAO Sh>,p.mdx\T;ߖL fvRIe\ְJEw(%4[f1QUlP 9S'z+J)ӑD-I䨖Z08yD ' {땐w[G08u?^f:O{فj v=<qRx)j>纥3DksjtE_-/;;:t5YL,-z5 _aGަ7|G}tjC[ y62Hق2+Em\ ,]:WJxSx&-=>la*ճQ.avVͰVNT3c~Gavu\5+cu`S3`GSc]x2avOdc)_>n^#!4EH6#/EON#uK(N c\:9fv>>)=o*,+̩/Xa\8`/D4!odF $ he2u>%]7= )Q)h\.WC1ak񆊒|`tUzOS~UtAծaB 'WFJCb%n㜛@HhrE48EGϠk=rbGZ[U|0@vʌሴIp?PL`Y^/{ǚBwT1KkGDyez/whJ'@us]/:}7CĹu5SeaWL՘U-%A,`qOb7nYuAD"l uKT5*gˆG?/$LoUiM!kVoTgP}嵷B @b,a#ӗ PҬ05?/",gC3e@3ԋ5/~^Uɞ#ӟD6Nҍtgqb :1ŎċNo4ܼd, =$M1'Bu 5xS9\3,W ev %.k|ztӇ]],[= V_xI L{=?TXG㐟{M*8~eyw2*@jpAZvqM)~lE9d |S4}1Pc{[{ZH̨o7Oz}'+K"浨Xo]*V^u=WsqE׺3gZ -w>q %GCq+\㓓2cfQE{N֭C}N.1͛{3 gX.B6&%{p׹b8J׬@M*Fx i<Ν'fLw eOrc $Gp9nrFW 4R0ƓdT-ѥJ 0Fg {* h*'ԯͳM:&4a+-0fOe2&ѭM 4@{Fz͵D|jJſyN+Wxb!8lqQ;2OT d _+VjN1? d yz'%‡ ѝe\l f6įh(68OJ"eઇQ$cnOKi*DG5Ȉ&ܸ܃C(~4;QʖB=@9K{Qpp):Or=oM`d@ TpI'֌2"F.{LH7_ ~ZMaM[]>]^i2)Vd=l ӧ'ˌʞ*ҥΝKLN( 9ZOM F^x7C0a0°uEzڕb F4=l9ner8u0Rzb8O +j'~CZ1~n,#"qtgO)NSyP$n<9F @{,A4G)[( 4HPe;]D11pFpy_߈oXCSI@tdIO}e.A 1KRY!s0K!#A KwZsď waaonm[.jR8X.^]V:AfdX 'jf(s-ɥ.nn~fݸvgQ 4~7mI'ؖ.B;LjƾyUpA| AEDX=ZN[Ԙy!DkhYtgvđ[LnE!߽-};ou*CK(b|uԅ@dp>C\T^+ ddpH'ZbN%kŽ%!͠uݏ~}*E~L딶H5&B hyGqtz7׏(COJЩU&eRX2*|ُk63`b! ?rMLvf+8SBe(\/'"WOquk 2vDQ'V9SDwu*bXnaEud<37N'1~sΤڴgp*ˮ|Lq"d ^_LY&)X{x>/uCґnk5Ӵ?W 2^ɂܣNVkj /ҾO~좽:y'i }.`xmbZz_@"vg]a@^AkDG ⢓f]id k`gbƈiVF;+:>/i Ya!(RF9~"o;ޢ~ I DRJbҼ?Q*h 0ǹ"[O^aJh݌Gjg|_ijin 0Bm L}+D ]UaT>1( |TZʺeCߟOgGU 9Di*5zB/an3`or1vKoqڿ^"wV} i@#cM=cI="r `K&ڲaN2c{gO緗}1@J:Yr?ȏ\9T RQ;GnÙA_?D`,?ɴͪV؆۪QY_:vy%3ɤùx‚<%۝<[Wsf JvC(vWK7v]%N/ {hUp#ec)9pzgYZ B2 q[mzpHAٿqbR37YANNF NbLD\^)@1с?4;e@ $ w 4{cuD;s]#u~y}a7%6Ķu$4FjĝӆŸtAC&.jKggwwEr5vMml,qO -IP36ÊUND$֢ M0.$O$ak̥xvػQeU^VSW1YgSJ183VϟT3 `D ?&*3ȀB~.@^M00 8隊GE@2',-=?ZԔYH644<6hz/Q9`;H\g4 Kd_KT-Ҭ~ b}^#J֨)yUOisD{Z&oT8 Y!+c ;Es, Ĝxf73rp's}Xnxr@ʀGS!?E 3 -AL6H^?á.w\t`+X<i7"ք7"ؚpxUl20~TDW6+n;PfV, ů6Nz<-ŤD;)0x4_&"_u,x9T Ci{b#PTl|kUl4݌z~E*Ij) KD`Hߦ=4k-Pk[|oElpOnۯ䦘Pm5Xi82:!TWPuK["{ Y!WYn}ƱYj|a2)}C\xgYܧ eZW~AȕXLE\rJT-9J(2 KP7\ L~|+pM҄1ռe!)%}Rb2^ޱ5BlF4M?#Z(;A#.Jٚ2R6_4t>1[ѿIiJAԮoG|e\axOm.~<: "|MO_yQ(y~ZNGp z.\bq>8[.&>I ZAP*X-r]{U YD`l P${> =3wӍWAX%R̽VM[֪+|!ͽBuY쯉47,O}U{&Nt7(up4GXuٱA-bzVw[`9i`xc~p~amo!~2m>B?`·BP~U8.@T֋\~*p|S+qI3+U;y[[AqMX_ JH  V7{ʙ1f)CIyS͔'8_hMr[.=!:CU[jp+{_GB,UnGbLLon ~EjSh4 ښ& [dfXX(Fx6Sj0rH#"z5I,}>_Jtg :]pHrЏ'Dؓ]}6P!_g_ۀ|@ ۂ4OW|bR?M&/V+P vh!=f;5jNOiWlRȴ)R([W_ !{Q[G$Ip!OfML$;pooSAk_ u!ulmv9z#,J B{VK_>[Y(XtɆ ';eB݇lf[+Δ&*~NzEh!pݕv\{ƒV ~8]Nj lw8_t q) avh~aJ%|OU{D| f25t8^١,QbrHLes}PPime2y< ].g!",io4GD]S*>~'nZ! Oߊ"MyZR )ƍ 4'@Pm:TgȤ,pegC^Dr6?88@KVH8-1ՋT1 @QުsVhA9+ܹ96#DŽ }Rdi, n ߪRĊ| 뿴NeT?|+fV+]Z[]Zz[Z=&?zO5[P:_Ҥk>v3ɹRa{8Q3kEQ\o`6uF[eg+.-L^t̮d/ dHPe*s0NA}9el+U@tcs&bwj4/oσ /kqn9bL Gi y-]S`h 2 0U4I."npwܿ?钩i/ksjN~z]!AP34ՄAyaplԇ8$x`'>ze{1"m^7eQnwxW/*ĬPRt l-˴a^sqڈ T]Ayi"^8m^>A -cUD1z97?U𻳺^ zJk ܄1O^;ҵ,Z:8h3?~F7`N`{ma!CTXG`,!E &F ̓D`@P|M.Xϵ#醦I[](ࡗQ T;sI=6U [dןr~̴OGvCܺaVOXnߓ8FLK1G[dVS=t[F0{v i՟|n4t?(9)nvG?<5Uܝ{͜{ n~^?x~ʗ&6{GP IaЄ:3x&ʍ`BӲ+JkRz` {Qg;!&KM #džx(XEwMɿޓdr,P+2XhڦLK|aĨ|<Y$8]a_0e"]h+r>x[;Zyj)/y{ޒ7 p\Vc‘Z/^ Haetx~_!58̳|vR 3ÿ>nfwC0װXE_qY^s`ro7=}9tπhky" U\ \.1@FG I\d+/A* I80 ?&YsƟt4; ?}MOıǁk..}7o!w:߳hwdїN_K}}Ӑ7AOT5)q@l1G[q44~WVI9EDN\Z:8q4Et^ٶEŲcFk, F=)q%!>DPtK<[.J|B gY*[Z#G,P*݇" z@RzhD0$<؀/dݼ\VZft>"~@ERH~Y`V΀aҸZE2"e*ƹd<|AGSɜ3ƔmG$,t^5<њv[J^(vH뾓s^xU߬!8'ð[~›Yl0a<0 'o9p1V!V m_ !XŭɃ3Z^QFIdW*ΦNC[=ky2|k4U_MÔK@ztVQ#5I87i`> )=^q+Bl:?RU㌢Q-q4u@Ep:ȷ/_0(p˹h! 5| oLhu? VMc4Sn㩜 ,#0xfWDm0wE>z.ij?%Tlc=XAk8{"]Beu:!~ Wx/&ay8V)xPt4k̔"b^q5e ţcl+qUBJ٩+~i̸: F.u;ks 8B _XEt[+_e[bwQ`#@~8_w#lD!% I]xG3wo\+kY|pĔ3Mi0NE㎒ (0>JdV x}a=[Ded%O&R1r&T(`.P[q"ٻ%^z(tnH,lRQs#]g9ˠb\lKP )UP#\?f7 -եxŮ7fO%gCȅx/ֱ b@ijY["!X˃---PJ*1kL(^(j~_+85yOTH@7db8kL>8JNE1֠Rj񌦴uB ƌ~c_԰N]5;Cޕ& N("Hy:/,!6=[ZI PO". *Uҋa}7vg Bb̜8uJ9{l&ȫpۇW "̱1OWhR e.,-,a$wZ\MNJ4͊,%T<* hbi@( GE0ipLڬ>ɔk/CQ yVV0 Nb (G:wK9z9?"%M>|?ʱV틠:(lc  вl'Ę\*LfڴgR|\ +ڧ@eo| O)q9?ԦڲYO{3j_R(+-Cte١PM:q&k铀ucu/Em2T&++ʥWeQ-F7(d,P<]gNl h]Iׇ *9f}E^Ne jx 0c`-6A@ACp5Q>uVR[~x67ƫ2(a`#eR4;c36[!FiPk#9tRa o&m|j@͌ U~_G0T*.8/)IReϏy'Zk`[xe=[:*8kp>RM.[MܿəNOFU [K?AH>lհ-!-fA$ шmG8Q9E\;E#NA0| Ǡ,7`k\%U809onz@$ll34)\яfcXڊk&<JDX-K8pա<ޣDg2{t&\DRJL@Ĥ(xnTcT?_`u .L,XV;YikIX;v&2?6qp1jjABbm0](Ϊ;ʤXR@ƷdޗSfRX/"O_Mx@jVݫMI9lo|n<7ʟ}f媸K^Fd{ڼbq2 -S( !jw򗳊 }ѶY6Ŋ0"m}28|Kr 9j!F9LM'1F`_Pl-CaErk=ȧotUzˈhɂMٱP{g[$hC?mV߉ B7bXBB5%qP4XKر{vFOiXx(G*uf:Bg#ɣj9õ!8 .[? n})Rť#ѯo U;*v>j ;ݩ4(4 6gP10YnmŸaP|Ӱ-u{"|H 2飂Dxx%dnl뾠DUٺ\2A =y'}qE4a4˰Pn7dyu#;( ͸5E_nj|]쁲'#"u/j8`p{' >`BM  7@ :)D_EKw|eYΨӶŶ=Y$RbjT`i/a@oaY_}Bf|ӡfB