SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  k+dL ]/ Paraconsistency:threads=2elapsed=167.727cpu=327.552gc=4.328factor=1.957zXZִF! J+]ŗXf1-/6vR[2&J/69*aЎur os9R|>`>%ΪKTh1$v.pNLeS74u=YhP1)xE.+-rrG6eeD7iOKdAM<kJiR&@[iԀ03L6zR@@g)Zrq˜}[5lV ٛP[M7Lvu6l?xNO}D{AD M]c7@LE%Bx=,i|G!?'ax)7rҩP x8 pH;|D?^ZGz,-9>>^zV1N;pIm<mtδCZ误r9Qt)™$=T@y. + Paraconsistency *+K% \ParaconsistencyParaconsistency.Paraconsistencydocument.tex7zXZִF! g<]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ʙ>*>za]>3 1\Td?Gp 94Q]?fgTa42U8F?f}5" >1?U^0i&e9Q6LTDp"A*9ߓ6}[o8(ޑ98 mœ-]6ٸy'WGCw/Ky=Ē ivp!_ƭPn0IQJr ocP| aw۩X0~l{pU}x؂i2=>Mt |EOБԃ4ʚ]G)lh`NzRϛ>.;ڂ;}$tsNv1b/66)Vs8$d9H=Y<Ҟ)Z#:քE}ap9Rg'L5|P,)6(E*WttÒ^]wV aV'rǓ6JN1+@n{Y{^pn)dO" 7qŬ321>86Yhɿ=+;SOdNAԛšKI^53+}$q]vFry%;Oc5̝sNu.E%2_w8ʤ;$[W$?fev0dZ!5z@Y$e])_;^)fji$nlEuO46FS|tYw,}>dBw\\xh-~bCu"=u%tcDv}Qm[C|dyΛ -)EQ& uTW-)^raE\RиP,xOud"SO5V݃(VF1iٚOXf~MUz g~6KP-0L aM_ > AOL!w)ci.\ཐI߬[~UarEZ$k S;4?ѿ(>p?r޺B\W1btN0@k{Q8wk /J/ҡc@TtJ^[tvzF?&CYMMQ>;Z+ CQIfJh!}y'4ᣭ5Q4>y,fpC&@}a oiJa6Vuqɧ> s8qCʡ ?+K% ParaconsistencyParaconsistency.Paraconsistencydocument.tex/PZcYj'P^p6';[(h%pv \[цk͗0EsIY"~z0m[0rlx'Kn-D!]恅PH:c?K"%2&+K&Etd[3~#ghzc?0Zjnw[µu8"=h_5+$ w_;чp6OKŦZzJqtA4q4 J £-+Q%J[F ҿK=عR#"kggB)fP7h21MY_sIfd_a(':YPY_39nY=mC '+Q<瑖-[vc M.܌q|zmTN@!F܉:ydrn*|"hzM3wҭibPyV űlЅ#4]pu>4Lb <%Q% Dv'h( Y@Z 0p r$k$e(.5NxӠp B-G)q}qF*jhwOO @aO*ąwauzGYKߏ/E|ZD Z{*f;pqԍzrRGa 62}AfD;繍0ëâ C t-[s6H!4S֙ `0S0-u" և7.7p! ;cqn;f2@<ӷc3 5g7L)3w7gۍ q=ٚ({6mBAt&]# >Zqk+{@*ZB頳Ĵ]c!7\}: `#m-0տ*vlG;'a'T^E,2׎?&6*0p,f?\ޡR<4'R[nvkH A3k*"ND8 ٻZs hvaHV#)c#O_7f?qg(dhLly;PC%:4vUYBF$eJs}_PC{U S aΓ< Do|y2P8[t,a0=~ڭw?Mb,O]m*6xk;nYN >EbRM0% Y1zX:-xn,P2dtc#ykL\^< wՆw $ O.;ٿ>C_:2Bar\1>Ka.Tx:ÞsxژnDlLt½{!YENh%Ť$kzd%Yz6è }w*3og/.K8{M~}γw2x$ j՘g r [W|l HaWbE|oPp0q[VuH6VE)?T7~{BgvWMe3 l5[px[۳`ZB9ʬ#ոQTc) ئpZA =IrE'f["p*`Κf`> :o8}aq1܆8vVȒ:>-+~p%7zuSy쓠S[40u Q_7w Z9m*bXI0#c|u<%dz|n\Ƹ,__V'޼~4hB6ެ8 @v;  [{HMf 55`Xr"igldM-DHm@6OJ >6>-W5🢁oih f{+j M?wu\߶!DJj2g0 IETwhF"0N 9&Vb٭41}b2 _5%U^tLC4&uj_Oz/އԀsn^ܷs.;5>XsAFO'z%M H2簡> 'p,Hw&!͍ji=xY[` _qMvVJv5*ǎr~n? kXZ@5L^ h,y)}9{h'u;^Cjm3w׎u2`-ͯ^/zqDT{]?dLPNPi1/S*îd5mE,9xΔyS>$#L\h< <F4^ølK΢Z}_顼˫[ġy.AwCgoJМp>ȷ!mXG Wu*@bZiB߇' vzGUkzfvMp/CtNΤHqֿExHS4ݝR*%MV#8 ErPAcʪDjjڒzWLgtDd@B8'1@gR|r:>m4/Ѧ)T KmS@qT|4"x-*46xx b x&8];}A)Oٴg崋"+o%>6 r! )ju_Fz%^u`QZc|t`xH~RZrff0M" jS 1ncC A aYs^LͦFtB`t$=8!Ӱ.:5DTvL@~N'p a0jVelŜL|g@*$M<0:롊Pg"&͡Rj"5=$m Gr䲴iq|LIVngժKrCT4ݖצke(WKJMaI8WT.ƞAIkJ XwPׯTbw!\U)>J77Х Wt[I:@?K]y-" <5v為&"!4 l(iӹ JkTz@3bjd1 YTq%;{6ic3gzF~v[~9-SvS7ZAhx`!u9|z I9mo]q AI\2䲿WA p+b앐rK^ >YQ)+08:3! :^mT-͜7^,aQX'yzz,`,f9>\_s 8x%.z8+;ઁAM:פV!͢g"aϕ7e/.6R]ˉNСn=lmP\` I_fqQN ҲpR :Nw#"KDb5]qBJ_*=tGzv{61T]i *~+_,q0vf3#D3Dg\foceks#%Ts`0F]_4Jaz"&T7"D!h G Ky1$'ΜhcuisDsn[hv1Tc}.*/)~MeLdMm,K 0k__ <MD𛉅KFǬ0}.5(8͔R /2R̂5EIiե)]gfso +bOM" O9Pj4BK= uCU=$ /&h~Yͥk)< k 祣kUF]_{J_u!.Zޛ?N^qhĞ[$轓_:AiCt{H,\H W-6xz,+E(9٬ÔW%&1=4e/jҳy$SV![QV\.fj&tgeGɵCu|# )wq&~} Sjl͕DO5\iv4 Qq\IeϘvN|@5|S;339z.7ϗ0nԋ@j OAO"f8]^Ŗ._BݲꒌΞS3RPVDpV\#ȿF6 H:8 {"+}N߼f0_В0VW޶,+8)"%~Y-]VFv8.Tut,7%S֊#)/";<`׾@UniQ>y%w0[T~TC #U]e!WJ Gރˬxf6 ;w^zs=&ͅKxhn^rFjy>s`լrPFcz=ű2pl?QMO%x|WLˈz ny"0(1#CgjQ,k]&*6u'ʐhro}Y+,gJx\]1^9#_NŐNdˊwgSDS\YK1N5plnѥݰFmP`9U*Nŏ* W͠JK>I\;w9BLDؓuNcr-j]Pvc%kI:p9ݪ>=xON<)Kn P)e#.+ Jq|}9buzp9254/|C-wLQraQE9Q#D]ðx;mu4r 8v`KM47OFL2S\g8W|w/tSyeC@?GfD /Po*'pgOڂQ˟ 5cˆ?-8pQ`5@uF,"sv#E } w {Cd+)@k mErI_|Z̟@Cơ蛶QYU]g+/q&YInR~uW7dw5YdZwlSbߖB ßԠO޶NN{b.d\:f6re4;fUJ6:4nޕ9mYO +zz˞xe=oڟ`aH1%t(~>|4c˺S p~t5R)Gl/]g}ߌTWBV,W$N_|YxhVfy:=I0D I|Ĭ׼ƷC*P>BՋ{m,99?(% ( t(q@C{Ly1to~ IE{5%טFi;ZzxtT(!:$UlTl8p\</EԨ4?Kjqp|\l `;NpcN=k{suvIV guRYXsMl-N=( Xy=v['J;2^]8Gk*]ƦI1*r' &=TlF}&{(f[=`NܭÃ:ǖwTLפ]iC*jSiWBf{BYH( @C uv3m_]'@z`@'~bINyHEg6rjDġi8Kԑ^~$CjNvxku^8K@CJ9*SNT*S>9 Ph`2p A-ҝLvZ%5 lgG_n߿>/UYOe&TЮI!փ!Z+"EhC#vKEUWop}}N M F%@`$gzHK'SꅛE~aNL;eӦ$|957Qd+5 K{-/ L588`  {e^w|)%Rw oU'=I~ ?ƹf, -k-`C)ڧF=m iy6AKU Х#{V!{r黒*rm{4 :/X~G{_ɚ-19k G BzVt^%4qڲ x2f%Um(0\|el0KgZ/KHEBRz '3҂(Y'B*^ULL0 {͛GX%9@fL[Y+98%lV*n.Z.j(9$h`>A{_#&WQ7>Q-j"b˶.To*~p)q?LWnL@bh#<}I @MkB9i8U~ŕ Y>_鋥۔TK( n֊g2Zp"օ77kuߒ#tS=J?ջՁeDiD,;Yko~N9d I#Udn -j@L8h~npKr;1EF qyC2˗%N[!{C[;k7IJbU2찚iG|^undB} w BGhTFm_@9B8 {>@ڴ(4 w7$u|lEPn\/@xMr)c'^k$[:ߢ%[D% bȱViG'1?,ؾScصkѝ"G@tѽM `-Ȳ/~<3.m|r|1&f{[P4Z[M.~}bu/R+Q/@ޖ52[\pN ,:">xrvsyfb)Ke|上1rp@:] =4v{{CxԼjgr%迻ҴnU2+:#z6,Huv-{7DJQMaE @kzӊP*t;cE,%ѳI@⥗=}q٥6R 1>X>|!" vȭbS C4fc9"HC=7T-y0f>vg%;.1~y&$BGcl;Y`{*Rcy&}mÇ% #Kc\/Hj@9qgz'?g2)\X􅊧DԹ<{ÕW0hJO"1|tn+Mc 1b5˰V7`+mT@!]=F)2iL?"S|Ju"6en-s-G1ɩ)L-:E;uӏ~s(}{N 29Cem][Кf>X(=7fjsyd&J#.DҪxDՊ9x֍Q7:  FUc5;1B·T9kY? d c+x*a"k7v!GL9̬R|&6ӻ0y;u峓NukguU.Wx9JGp>Sy\y ޺CwE4rdl4R$ςڹt+O=a}2so;@ͧQe5}Cq$CBF;87;5U ,tҊfƣ>7tz5\h\DA~"km)4IH w;/I(g-sG}s5a3I ۶k+[N.Qڪlve$˹ɧE΍<nCIJmV>Iu spRSbE4nl=ANK@⸤6'#X&r첮dvc(qxPM * mh!@/1 d${tXSUqڦoxfjC2冺(Dyda[p;++1X 3nY H` ^P3|Z+y'@ɿ{z)N@Nr5dxdȠHϼ RLvztP&G Zh=%1gD]8B}O ٩2<,2ׂ;V3Gv.W݅ulǍxD; ^)$z6-h8>/v^T?'6H M6^OTl+qwO;/Ҫ\ $1 CE6|s|ncaƞ RcTufow-smZ 7DžTWl݀&8\xߠDs8A?(lcNg)Kvn7ؼr IY+ʄt8{ΨJoMOw=/4v#Li,)N3\)a0 ORbXr)|hzS-V1ʐk+_#iȕ؎RpҞBZ5:E̬dh=r=*QH%_0x5q ^"a'Wh()?iuPɗΈ >)Kkal[A 6V~wO0|4^:PxrAx(XPp⦠.ջ>  X7"x)DYVNM U"^-EUhP|W'4df21Raeo\Y8ŢPjw#K:*agl MhkA0gYZ7zXZִF! SF]ŗXiɟv )z;N$|Aa# [y3aǦ]ɹt6+AD}@(u*bT)K}YZ7zXZִF! 2^]ŗXi%;f!ɸ̛?xLұ}-p`D KS &0ZrB 4< SVߊ*DUjNsvY6NjEq`"zUcFY\Ij:dW|#9w^!Y@ Rh(_9C}_T>;;sVGk)LbyYBx5]/>x4iMÔ4&dP)> 81 TeN[`/W I;H_d&hYRA i]O *@g 0zsQ7Ԁ(~r`o{ѓK24}@Sna앢qq.5smLkQ@lfG"MpV*'€ĬM ^{B{q P㧇6sO4`^,w&R1HpMOi.WR1&nqؚ),g !.[ ReSy| 3D"!ĕG6O1Nw Qᛣen 6_ R p1[ŽZVa꫶j͆"݁ , 7Deoj:^%}lcK{uBp0)һgªZyqwy.-}lҬ,|5m8㕀ix#X&9,L3ʹ^}8qR|>~5S7V5Bk!  )o\@κ/t0CObi]_tM(@{WsD-u¥r/:NaW@7=[s޲tRݑ8AN}iRx>Z,S rwTbn8 7'P{ ]xԄ{ ’t Vm1? FwRX.ٌm*leDii|a8,v^(90L>϶hprkPsmJpLW^^j,O%VEb'E R=j&\NW"qZ' x#A>qx,k 2g o_ iW unޔV$'/7.c}4l:t#9{)`G,ңGGI}Hj]krݤOa->a$4lKl uV2&Y{ di<[T}"Z|,^,:{u ʼh)9_V9H4*#F9.pW+"> W EP>"&FCEVw$euLJfun̎h*V G@ ~'^#JǮv~&")8W핏"=W-zG^Ud}Y鮃'p 2Ѹ$M31o tr::h۹fcS^̗-ūu=Z /'z8v7̓.aq4 !ڔD 2\$MDx;@Hb_AEXC0Q@#`!d~vX;H EB܁{CU9\j'IٽNXŊ|BDO@礙 @ n1u ccx!pfe3`1AvnSpmxf8ʻCXΛUaƽP2|ŭif=uHiI]'ÙLWճHg-~Fe3Yr ˌk"1s}@paXŷhdk-l~pj<Go!I#v(5E#0]A!2EFr eeڔ_"|;j,4'%䲭O-ܞ6_|{(\YaIœض Y-B)ɴH$0C6' Ә;K@gM$mՅB s D7 lgjhl?''xF$ ʅM;E"l{A)%R?v"g}$F}<`5c }]..I[eކD/R1 ~8!ApS `\qL 9aԢDg˲IM-0IzFnݐ,S-" b?7zwp DJIDn=**=5h/bn罠e:I&e;>"t":8k,NOՖnh)Е^7q-Oau|Iwx=ZFЄQ]fϱ^Mv/L&MD|Txs} >fTYsS@ KGBMɑ;폏*n8b;8#pi&B0CB_$+ntt""`; 2;Ό$bʆ&/d t)Sh'1rx Kتp'~\]ʥѢF?-X* 8&;^>ͅK#:\~Hܤ2-p>Ӣ1B@MD+$OJ,]A"!ВjC‡[ˡMg!Yj6Ίd:Iհ" +mQd/kHۚvaO)k 9TݷF_,5&p09TXٜ`KmC9 R=c껶ܰ"9STp`>HJe}P4l\^«.U&?c]m^bIDNF`IHNy@UzCw#/\+!ޜ~1j O5N4DX/ojv恆r^__)>:lhM%9H THdɝ`r-sKRrə:%I]{"Ҵe{*eߵ|W-1I[L~^§M3|A{S/9<ٛX`qQxB#` ,OT@KwQdl d,&ux)**ABsK_xe"z cޗk %sb_݁HR H"K챤&z50*.t{M=~ن3?"nKMNY1̛ߍav2y],Z;EI}\u񒫜E[(Kodh]}1~Y_Gxe%.aeߋ̦ Q~ҟo3X`8یjʏ1+OYXNGU1@[xcحo`_{J7<{Chqb$|m&IbÑNGP/36Ck-"G>.nvH"xNhsU<_KZe٩:ejD%,a{;C᭦%ePB_?Iq#yI$1$b ケql/XtmwDմ,.yn0 &¿xϯQX&c\)1融[CRR萒ueif}LA >mϸUӷNKodAD~4h_dbk[XŢAn;3M:GpOI|࠻Qh>EtB)c%Dzv1;YȇwⵊX9qc^C Ovycˣcp*6:0,}?LeF3{]b'NXٰvK.!α8:5y㚿>P֧SQ0$ކ L^!RPS $ #Y[+j3?_Bj5s3)ʈY,?G9좟ʲRfhx|:Vbs,Ȧ8@Eq@r&ze3L[:Ag(Ӧ@ֽJ? $V9tlmcpV`2LͦD_ă^2nѺ@֩!ɴ:ڣ:>!EKnqqߓ-apPadv2Sɡk)Be]83legIk?2yi:F4C2D~ g훬Xc6O=lXx/:6ǂ'-_vdDg?s0!72(Paa#s_|GıP N :W`+ #:Q,RNwA7U&Q"R^P7 2 4aƧ7|eZm-δ *J% 4uGi!e@AOl 6H&%;jJv91=򇔇f=0}`J1ukLr|!cv5{*M֓@'iy e#} Ѽeb-Y8S=)&RWi7̐9pYFbUv `}^<1 QQxe##>'\y4 ~5UJ@eqF,FҶ4iY3;/>< CA?7{ Yi1΍{꾻Jcqѿxs;ѫkO^_ ѺrƑ3Q/bp> 'kuQހq6jTv?gGq&O}en3<5^ygB?KeM+&:HCGPETEn(RvAаs4.Vљ^L\ щ9ƶ3Vo U S{Y j_'lz.n9ߤS&e+)=+߫߉f({ =Ǭ֮u`:Jk55^p&()s-Ek0B',+ʃ ;-mdwnS%_]OF uing*Hb8HVk,nfբ{ 2iBC|UrvAq? +W uW!2uvvi [~x9p,\\vPt\- b 2p2ZtY)Gݍ\-GFgOv<iᷧޤm!Hjɦٗ=${F1`oWtQ}j 9bwALɉj A@JP\O6g65+Oyw1;G:NԄPgP//*lZVS[`<3_8gK9>925UĞ/1ibYN&a)q>LJJN%#@o4K NSzU?ϻDC[wܢctf'!A 1 ػ\4ʍO)薎26[vUc AU\hxM]o|om,y/=5[X])V wF\S"vCQFϋ?M%"FKX{SKXE/Ipv[UZ-<18qA$},LiCP DO@F>slʪۏ!9哿}/ƽ~ĸ꩛_njaVGUt3~5xSŹ z:l":D;UcL晜Qzxk`.&;CMYV#Md)Orgg#H>Oc 6fؑX b7G̅9%욢Z1ǵ|1^K)7.] $cELPDc]U5Lt|KM!44`z_s? w4)yy#:Δ489 넍kT1l6{3mM"d\LSx!lVukW;%h٘--WToB~Mt.G#ߜٰ:gvYWѱ|T6mz } LfaZGْyk8[|O՛*tnO;iWQ*P#OUN4+vp㴏p;`.,8́N1Z{_5t{Ws_Zq ]a+l&H,KpTm18h`%3S״ O|"8n~TU%lwnұYX 28O}`fq.?k}u Fl%݀aRDCha<px:%'apo~XlUT ]D GLHucx W eli` 槌*j2KS,eTRGZ{WƋ m+$=&9PZRMad {g "