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 II43 tL ]/ MonoBoolTranAlgebra:threads=2elapsed=7.919cpu=13.824gc=0.600factor=1.757zXZִF! s]ŗXf1-/6vRZ"P*nI16iT"'?Rz"=.ۺ .!j[Q9Vf GH`uo%!G=(yIFn7>b1]f9oTl^}U͊Bj4=o5sa q'9jT`,#}vOygz/è;xuVèO@ubd 6-m]=ؔBL8MĹGȌ.g/nٻdzb6WU-+ǔЙJ Mwc/c,j3gg>,RuH`]K2XX>&6-]D~" *}4w@#TgYZ7zXZִF! j]ŗXiɟjg*Cp a:~- ;t0JTg/vͼ2_@%|_0amÁ:(# :JTf22Oz\Q^eJGQ'H8E3G_ݕ 8Q/ tR-A#]Ԅ5e/}ȟTL,vhʷIe.yFT* "Cwſ x7RzgYZ7zXZִF! 9m]ŗXi%; 6߶&Y=x%^ $ڍ1iŖܕQ?]Y@$hq@=ח#D~<ٯ9pI!vSƬqSPadRo*lxնzM7,|lEOrO* +19M:Z׆ E 9j.+eIM9z}틓:u/PSӉex`Y b+Czg @ˆBjI[UMY: w !U(q볥u\ft εᬆ߆qTC<|!0yy%G#9Z(m(LXd.-i/$|ߋt訅ݟKb V/Uk%>g@Y|lvo{ &nM# a4BFo3t7ƒ8瓜Y!< <w@hi&~*o<7nYQCrZ%\vSp+;HU7s%prV&KKo00#㢩 QL !,! ǻ70{Pщaf$`k r:Ζ< 6{eZ|Ba".&Ź}˫H)^G;C8X0\7u܍pe"(ej6hB $er8gYZ589e4d27abd822935015b0ad50c5a2ead0cf3cc90a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 3 MonoBoolTranAlgebra}3a% dMonoBoolTranAlgebraMonoBoolTranAlgebra.Mono_Bool_Tran_Algebradocument.tex7zXZִF! U<3l]A-MՋhvG"uIBm51#St)#]=[f9X:JXp086[ X(Լ Ypz$D NS? ׉QwEuC|O9c{Ci wwKɓ1`* Vr*Oٗi(:,UYĮu6(EFY0h>#ܔAKC!ܕ:۵4na"%7CS!\=E\Lzx<=8N):wJli'Nͩ:'ƯDx 3@r DoKF@uO$%+lց (!Jkˑes!ٌbñh#iu/yT7|TFb@A?^n1Qҍ]( }~b5_k~ͷ,|;l˚L|    , LmL3[%MonoBoolTranAlgebraLatticeProperties.WellFoundedTransitivedocument.texJ3W%MonoBoolTranAlgebraMonoBoolTranAlgebra.Assertion_Algebradocument.texL3[%MonoBoolTranAlgebraLatticeProperties.Complete_Lattice_Propdocument.texG3Q%MonoBoolTranAlgebraMonoBoolTranAlgebra.Mono_Bool_Trandocument.tex@3C%MonoBoolTranAlgebraLatticeProperties.Conj_Disjdocument.texO3a%MonoBoolTranAlgebraMonoBoolTranAlgebra.Mono_Bool_Tran_Algebradocument.texB3I% MonoBoolTranAlgebraMonoBoolTranAlgebra.Statementsdocument.tex!#MdS<ڿT #V' 8 tvlB`yc :>8؏כ*7/?Qt2pʠ?#S0d` ?̄4dM-DqY7彴 vVR֦W3gؤVC|Ϟ,sjUgc>瘜f"Tx|Y g8Mc1ABk_I 1R*[y y)8r2ѐ*\YBSY}GƱv+Xc}$hd (? B? UB{k) (郴ʶ%zgM..GMh#VKh#/B8 ь'CNF*m r#\`&瘤>'L1a1 s0˰wQ1O] 9g qQinJ]~:y?r4dwqs߇|Up%SԌqi7:rTu[PAr4:U2B&J{PBSОǪIJMF >G0VY,X̫)nk]\LAޟ=t2;CYj͟lLBn@C]O"f2jD`L̨D9\HP#]C!tu]iteCK|so2)f޴@Qe}l]o^3OrQ#?̀s] S5@ktzÈh+(ӊҔu-)mW6/&WRG y2L}3->#";0lXX3-~w2X)&Rjo%B:tO[J+qX7b=w XpdB_qr~X4fWɳ9\end [u-P 9Q8vܹ 2e#ÅیQz.Ŧ3xvX#ӫ87hT 'azN0͛-睇wKM +%Sb('R8pIHL:թ^|D9Cģ  3JLG#Y% ):@;Y˲:q4sDCn%DaNq8,oc`de; oC34kcSHݸ63P,2 KpZ$.~'4bhx t9h@7`dkj^dBq`y1mz.3muim4p-i7u m1srK WTIS$3@A"mR1{K^P6*C+4r#TtaA|;S4|9Bw/Fiiuid#{$UZUIUL >QIpY'-Ib;Z{wzD|5j^zᲑdԑ2UYc)?[d cLfD$$S4.ݽrSꥈ^A02)K`8ĪIӜp?|`ɅfCQ<JUBk<ղNzCղF~ˌ3 vᳮTʙ(ջl1b,#*v-| 8m)R;TrO h .k&h5_yT`t PvYdm^7̰I5b5S\d_>sdeET6Dl%|/XWg[GR2nQo(S |Y'ם(iE7gT 9by+!}3?#Q:(%MiXxƠ;8~~B^j#Qf {_.5j yaՌ?)ȎE#%ShnR1ӈ_X; RiZH1QeAN,Ә|' 黋nח߃$%Mk:0VyH3]`Mcu, TK{kl`2,Rhrd#YM9N{zbD؃{ ."JUS:=†$Z wIðhH,Pj2φHN,$"f /|f3TY|0 [ħ|O{d wwu^C;wbZ$f?vkЍ]~kSQ[!۴KDÆ3m*8|~S {BI!@xH~N&l9a>q\\D3& .N2AEB<1ȳ2B[o- @1Įp䘍iiKg]C, E:$s~VJ=['1`GC~fE8E~9ju2$}Ws/DOJ?GÎlN&%UmT [YU99~~p.V~7A|ܳH _dr2m4𭓈Q :Iԋ^o~TqCsH?wkYjNk1!ՖCESBJDI!=_O5rS?cbBwW`/C4y۪ ni9zn(9ǍP!=_N2䙎(Pv1Y}PS]7 9`+V#f~t7nb%? ?e$>l)jz+[m|jFapYHl%+<'gЬ2v?ѡ&^L FrH<ǎͩ`=1f*KI /[Nx:ƒ6!ab} nMn":Dt7xYo鯵Gz p~")њX=m/I(J q=-ĸ2/qmҊE]a_?{|ӭ$xX֩ku$HN"l F/4YC1bN_-}9UUswy9 _I&w3lN{)ىB͞f`rWu{cpg^0j4t 4FL}&w&h QN\[^a)(,][ퟺ:D(_n Yks+@}Kw#z8c-$4gлwB^q-7}d˦'A_3nMztD3,ז xHOW1tH7R)]z8݁nt`Z|6oaŔmըT8KOOϬ!+dGJWGrFRH)!8Ӑ EtTғxܱDIn@*0MB .WGegSI@!HKyt[f۾6[0/l0b쏝X2ϼO4RkSjiԽՊ(-0$X4=)ЭfqSz}fC6T<ױ3NXuÌVѳU=bYb{P@8դy7hR2mzUKTܹ>M5\u)kړ4I;2z;|sgNҕ>3JVUpPTg+tG}btY?[ gwY&&K);цf73מ&WYe B3,,nX`muSb\sCJ 1ccA>yZ[ /c#_uֱ1*_Ɋ(ؐ`ǫ8] sr:{cgJ8sT#ԐMJڝR@ CRܙ̛D̜߉B} y&W,f 'V_DYFN!|?)ppѦsF|Ǐl> +-#q[#exOj˛qB4 'c>w]T%zx<$ f)Vr\FU-eө2![q{ΗQݪGBS!(t9L ҨmXЉg:[P[~ʃ|Z$LO]kA쏢/O%cd%̿W/Y =V|7q%ʱbQu0<f~(>Hwx Rc]ܜ¾rk n:Wq$Mi?fW$"x{Ox1n rVQZYBMzfh&οg:&3)K>iu؝|0&y|_eQT!7Q uH8?6!50"3rwO2YàOOo4dx](\`omqq8)EZgr*gaܚ#4+%fELLlê\f>m΅Uj sIʂk'fRs.{q&*-^ZZ5=\?;FnwHjJzް3ГݟVcm/Ōh¹ycg[`3˴NZB6BѤ&j?8BUU!YvX=|x ٰi7.5a*p 3!Dgs%QQ4B8=)"ZÊmSpG@%kRe u1ZyڈE#O5ia[aXnzg`E[s0:yH$zV\]&">s|h1r^CI=謔T ȝ`_Vghc fmˆ7} 2hR$ ;Eч!9 -4Ȟ #xL>@=ZB>)2_pEDb4pnre),^d<`ZVw-”e_GYnL*(h^ּ!2 [motRǤNk³~4ׄ&ƱVYR$OWAK|M/=#٧2:CbڛWxm1g@?[˳253g!Q ,_Lr66e7Ca߫I iߓR~ <m KÍs\B]` ߞihu1nC,A1gǸ6XPQIZe Мj}[2Kv 34ľEH **@^ȟ9kq(R]nM^\p3ZvEVHt8삮bYYԩ_ ju2W]5E;F K;9>WxX51?#7\BuH-{G%a3<[j9,ZT8ELxK{ d¬[Y>cj6O ZD q^<ڴ>\Dvlϓ{!JB;a|mco5b |8CW []=KGd``7a &@ǢBMB ,eك}EC6V#]."ǨыVw{'jnH5ǐ;3,r^Pi|) "p~7cͱÖ~*vؐۘ)GC4,P,*&A*n{gf&EtW/%2ɩ;8",t+3̋RmLw.{.9sH[ƀtG¯\]ʀ>7v@$<jY oѕl`kp52oGqA&^nVㄧ}bB5Harbvf3 xG#/ :iv]}L8v^%_ N^RwѠ >|DԊ [{f}J|`v1II?*F$*W0Jx/(ܤ*dvYEV@Hu>Дi] b ; Fzn/vW.J>f Nl@`ncf; <<~U.AD&M IUv{b t+Q7)Ћ25iGH$σ jR!s-#Z^]9}T&Ax‚2-d#Ttoa8K_6@pG*ZE }iZ'K>r&rW.a'O,&/S;ϼIAJV6#]nʑˑ/51Eĩ-.@,spzl` ,NG3}F-MER`) 2|;ߝ0x|Y E̛suQw@  wAT5maSyc[)̈́ݚhH0OȺ6BgϣoG089{QqPI훰;oWUnyဌ?2}s:j [Ur '@r8(~8Dsa[DTE yYewyƅOłN9(,5. _FE( -oNpH?5Jb M:^xa!l`-m$d r,)u:%> `1F9+ CA>=avge!nH!),w;! M'-٩rif@E3퓴lahSGc5fiW'UF1\eo^ EFdfCMЫak 61 .>S{xٽOS8挾q1|n$Z)|t!ڎv[rdpD\ 3.@ʪvR/Mf2߭uC%Jǭ0r'Tj24XtcJ]-f*f{Be`.=Xr;٘hNR0SY=q|.=UNUbJ] RkxIa=0>}F̺a4UeџeYރmr-vjS(WAvlIpxg_/&0tj jJ,S{ܥڥH?)yQRNPq<bd[W0!/dt%mU_r #qe G!t}{P#,Ju>UهWpJtRت22|hc*_m%u)HM<4,W5_*#z:,)DD﯆i|XKoe8zB'Z`?ߕ 4CKn~%Q[g- e;਽'Bd'ɑ:ZprDrH0|)}N0*ԕ&w.8:'3MldB- 5# ϨpGWoىkGXՙZVFMQ©X =vthHhl;|13'ݰWP歄;t;:މ豸"bE+ x/կ u-&Q8oW,W<U i˷b<@q1Dd Piu $`7vQ{ :7J85ՙ/?LI؊7I]Ij0^%jQfUHW 7<Q_h+U ^V?aa}~4w6Za@ CYtl'Z`|.q;([3PΌAT-bMy]77Kwgkr,_.rS$f¨._nzU\4 >V0C8UÃfG%Zҕ=LΟnm5`$7uEi2K2=R M޴"WQM KcyOV0뀉k/b,=_ ElnUDXhv"X5|;#z"^<+JfSxต|Q}\xڡbs9hKnJi\jnޟyIԬq CA mPz,f,L"޴ yEF[ j!}8 L8YH.RӋ\o*8Lc f ν~?{qr]v+2ʴSٳ3Ȅ ztEhe4 s>џg=5B!*LؖϪlđ כW9F[ÇK1TQ3.ѿx>q8Ѩ*#3o$+#tNƓc ZYԏD=!-T+x \rEdi .x_pb =6b=ƬU?XQ^nǴL9Ql*] ÞO"CVv" It]5 LbJoV".A:b9*aYLY )G}ܺ0u*T "Y* D\&pZ'>|ioCh;®lt$'=3c{JMXgNny#~{ПM Q[ww|mͬA6_8*m[oSGk[F͹`XMxmmEO`$MǁxtS-#m%xJu` Y 9umiZ,(5-bd=/0NOUsz_^&$}Z2d梢䴾Rxn\$-jJ0]/2hly`gh]GBf,X>)f9QX<&>h@Nc+.97kqX!G5BT21CK}hڌ6bks,^Yو!8jMS5(lS|g㲽?NKU/lA5\׈~X5e,/0|$w ޽wP 'm r+L\.(@ ?Ay fb >49>*i] cK lb YZDZ `+m~Y}N l Kig Ģqq.n\__dFa+V ̲ eӖլ69d"6\xɵ0hg; fꦇi]İt  '>>+?[=^tĭ=-=85CdPDԛjW@VAg%<s PөA;ӻʠj竂I(L"xMc /_TuM d$9es~8I$b|G2xjĶf/EU9^:DN`fVceKtWVe0O v+{ 8'5YǷ8(L)k=xƳ5%dx;WLo 4 k'VT(|z>Pp='< S3RsM4XIZҭթ(ר)i8/ D5ڜMf'HTt&0PS ,iĒ]~y)AEh W$f_(yr._h]j)Ӕxcw'w,閙Pl?6! axy͂ aSzKro݌Sϴ~S$ E"oJ/2/Os8_l_?e ?%%+ۙ*?3CVOurm 2PQviGED0̂nnBZr!#+B# @X,#5pN.-ӬJ?4} vgSb\i=LxP_J ބӏ 4 >8(䓳p^ t=1}{ׇrY%0;'*j9pYRVmS:kc=pa7?H=k+2o'$&C*E@3T-XTl .: X^" CL*S p_49IOc܂ovrzp{ުLRq[°:Hi;hC,V87Nv?V6/[[2M.5v)^> ܫ-qs;F26HZvgZicM&zʾ X=J[+}ۘ&%t;%nd٧*܋ba1Ċ|(բĉuG YO;ey`70eV$<^}>(_YtX]"!WroLFێSe(fej@RZٟ`VteLЩQ `:Ρ䢲~#4hk6MOD&:E&=j\e^SP ubCC}JCk1x>k 'U?4.tWKiJy)]8`Qpw_%FGw: KR54;_R4fUj9|}A.x?;'2(,~IZM M} '-kst8%`e|mkwzD/;@EȓGϟ: Ag'j[oC~ 0f]Lq7Ǫ0*Nd{yTdO%n=n0#zh6mnj뎡v+0Gك}N2 _m|Q*ڋbNR!bۢ!:IJ/ntllrNw8*;P^Qz] ܺiK?0"r%` ,7oaO[ڭ2Tq[TMrH92[W-N҇u>5KT&^)\OU2\acbkߥޥ#Qo.M@SzZ&ZчH_3UB'ss㐩O /G 1zq%8i:|0d@f+|BbH|~3j*N6g:-> j ٥LNMHUB"cS#Sn㵇{d@e-XZ)0FdAgI^;M[fZD hyBa[RΛ[||IyDb#E+Y3u9F݃eC2gTeʀ2"~&#)ȓRŵj\G=U '(bWo}-r>8 j"kfF,]螾ʍMdC`W;,3/k:6@ma )OCD=颞"! ps[F\̻xzLGT)wKLT%+!hb9փI:N`k )ܟN1T@dnB?2e͙)'6LaY|a.,{thzQwRZv(c\g~}*lۖgZ{EVVrBOgu(KrY|Owm[i_b;@^ c$G?pCT=s07Kw,(=Z06?q`uTG'>Oc~@6E\ kAs_r>dg{R`i( O#Lĥn-58%waIklQpm)r\wACn-@m uo䟾7a:dAV7 #3.a6]kCG%eëFS#?;;Ȫ/ڒR z7h5ric27ݤd1^W/2 &5IO G~n*Lҁ̘\ bVp&A1uαq6^<#BjBȖ1EKޙNLS{Og{cYBRb['9i73AC^XGFRq5Bů{R'IӲ̺.vw$mKhᓰ<0cY: vd@%T~/s9>7NsfNn+ l/ȓ5mNi R%އݒ]lH370Qtpr,e\RqӶaC/eqq*VO%c32v(m4 ^Ka4{Lv_B8iˤg3j agJx{dc#]laݾ/yg gYZ   }3a% dMonoBoolTranAlgebraMonoBoolTranAlgebra.Mono_Bool_Tran_Algebradocument.tex7zXZִF! U<3l]A-MՋhvG"uIBm51#St)#]=[f9X:JXp086[ X(Լ Ypz$D NS? ׉QwEuC|O9c{Ci wwKɓ1`* Vr*Oٗi(:,UYĮu6(EFY0h>#ܔAKC!ܕ:۵4na"%7CS!\=E\Lzx<=8N):wJli'Nͩ:'ƯDx 3@r DoKF@uO$%+lց (!Jkˑes!ٌbñh#iu/yT7|TFb@A?^n1Qҍ]( }~b5_k~ͷ,|;l˚L|| йz?? \\!3C% LMonoBoolTranAlgebraLatticeProperties.Conj_Disjdocument.tex7zXZִF! 5 ]A-MՋhvG"uIBm5Tp)ͦw8>5GG kSܹ5+:B9c أSvۼf<1t QӲם@2x"_׼H.űJ%;/EأuF:Ȑ%Q6W-hyCOg AɁZf9 aHA炘y2,*:1,!3G4kΣ"r Av} = V*{.:-mHo=_>7&\gkd\9т M(:Bdې S}PIVO۴vJ4}]JM$<U<[>mROb*I]iMuȜ; sT&Wg3 Y`)3?\ZwWezS 7T!WRVÐ6Z8s61U)! !D˫UJUw? 5_5Sb /\ ="Xwl;X*Yrbc h2#cF]|(d] gV{dZ}@M|B̈]ww 5 ON^OzØ1•72{]i0Oɿ@ҳ 7ѨuIq/67@]u #[J_n4i(X~.tF@ knc?QQX.}ey8H;avZ`mW^97XKhrS`h6OO(Ƶu-^DR*V Ȱrrn)ثpg#/6혼⿮ٷ1XJfbT9^]ڋuGKrr-KN&l gsp2~eCF (wI\j Hc+$Vd1 "GGb=5+h(5vgssf R?zt*uۭK2r0_m} -c;{a[9USAXGyx:By1Y*m A ;,\AΝLĻ_yѿq }pRH^|Wכc}ԽԼ"crf Z}>&<1G۳xҫΈ9j ]﷜ i4ރtiƀWs-]{UB"$<퓕Bf(dh18zF\e$T<]}ek%w;R XHj*i}_p%/HnWV֞iu,"&BugMDBH/. 9+TD*jxG=RpҌ<=[baߠ}7y&]5aRE,B#`7rv&E32^.4pwBPu mGL3OV"8exZ'lY[Ĥ: <@8v7[Xi-Kfs=i^'w^$Be_*'Xpm~`!^s*a5`|sn,;rn77IzM<ޒѧ^̙L=RPjd%EN$䖩p;DP8$~}OמA ˜>^6Fr䑕晈>GCiiϽ|W5'οEڹ\vYkbՕ1F9 F-05r/~5n:mKڇuޙ+ V)'\\.]`ry8Ѭ2z!>:uplಹ[s˾x*9v,7= u8Nn4Sd^{$<$p /\5w>8fK˯MR lmEg[3 lv]К=ڿ9ˇF =9'v|Ao/~:a<-O=Z̍F?F,{GQbIvu[/ Q_ϾȬ(gA|o舒C@Kri狈;h8s@ qcܦEGC?fZ^>D:2Hlz~۲wѧ+;5j+| f&Md 6><>3@p)stMZͫ$dG>ΦIfnA@yTfۦ0B>},jtHDr"ꐷ$^ciV}QXRq:*%j'^Mj6_fC*3/ݑC9T<;ːg}"Wt)זQeB69_"ůUpB'+nZ~acД_մ>#PWU;-D_}9Qp \y>˸,Gq1홧 BƖ PBr O./jad_$@x$Ċkegy{f}>=Yau|LTmM m כ)Tk?A|eWHjS8Tm 0@;ErZwwvȻm$剞3kE= | º:t $cēzs]{Dٱi+m&ω&sįfo hdӠ;F@pz=QEbIr:EuMj\4?tD_M YǕեNwkʢ%t* f5{~`w)y DʮA=όѣ*PhZf܃dǻұx"t^_ud}JNqȂFm'`Cy͒V3^ǭ8 \fa^+R͎ ! 3ě1۞cK{i+6bѤP)_ԾlѶˑ¡W86|NP7dfrqB$5&:"SL#KƓ"Ko縔&u8pCU(RVUGh-JUJ*Ao_e 6LdU. Z·[̭=m; K]ulg~l,hɅ$'uMug'/^R;W"wҔO{O H+=2^ΊR8Ғ@θ*tOs&DhL2"+̄?;4yC052?9TT<f' غ)c:>yۺuóeiR5Gxţ|8لς v@|\f*zRU@#@? @\t80EVUHp#Li~&("t_1fRa*܏gk ؈xkmF~yU\gԴs(&3Ui ASZμ}WF Hw 2iB@|ȳ9lb _X EL3]nIi%h)ߠ/I4uftƠT.F#Z+j)֋sx߽sx;s CyLjaLkb8GZt:y4G ɰux>淼ϑʋs5r^P2pEHyC6Jkf']8;Rj?@f*l xo=Mhh ^YRAHI7 1Ϗ@ZW`qR^\X@X pFWB5WS``A#lβ dE/~! Y! /W=:y5Y,9 3'+,υ&A_c؊{$V'u6eA8V+= PL[KG߃ q \iu4/u=a^ا&nu}">C6?dټ6h"Yh{_C%'djoXBStE^LU >6Ge i7tn>؜)P](,G%Y,M/p*Ur:m6FmpYX≪Os"s>` ]$eiN.ĄdKY{/ &yF>*Pb9Or2 ]+fwb(w [ca["W]AP^Z+[e+nF|t؟0e2d{$d>b%qD(6%by]?B'b;v;KՀj )]9VV+ /-`\u`=$9T/o)rkVkl~\#+"Ycx7>*_,EK8L3EeEhwp,g79tM:O"xs7D԰-4v"ՅZg>RjON2g# 3L9-dj-$}#3=M%~C& E7芹N}։yѩ@MS(ߕ&] %Wr7rP#܅5ma)5_tǎ$fo 2)Ae؏cmQX.;E2]-&Xi\ggZ+OZ ,LV,, ]?X`:ګfr&1pɳP9gԚ+Vy7B.fj3Oib6 x bL)@>f?܇"A}>P1k[!E,V$u0g~˪ƍ%!bm#dpޱ )s?g{]mhR&ʆ@HV?0uD^;HR@Z7\;h}4dKZ"f5PܱgYZ @3Q% |MonoBoolTranAlgebraMonoBoolTranAlgebra.Mono_Bool_Trandocument.tex7zXZִF! j]A-MՋhvG"uIBm51#St)#]=[f9Xښa>8qVJI`D֖G$v3a)@34xY|_KU86~誝H 2k)[$lc">q$pm[DF׶\3":ܮMbyj`Xr}c\ff1"9˪3vDSh]͚C ޮ4WȍW޿ۺӋ6sreP9Zbwz$:%\YJ7tHBo )~Hs 3;S}#U;܈ŵxͰtV0cG hD,C$nmoL괛(ή~' #*}UE<oR_5jPRchWk֓JeshI0t 1hU-L2c 3#ڗCE"R5;p`|FW*C' XİjO@6it[~7xwͭ%YQlu{ :Wl wZWGI8& /D@lTf !9nź}Kwlvl v\Ȗ$A\^/^,Qy*h%f -|ڎ!n,SHq#v=1A^Fkr;Xm=N_ f[d* Dȝ.W !HH;>OTM4مG%'tX70$epOJ[D }xj5V;}j"}aBѹ>hHڏGz ``ᣔ&c9tT}[qvc͚[8=AE(ҵ4 'sةMPQfn-hgqTpΛe,-J-\/qFקlX |9$vY+i'a@[Qhcxv1AWk,tF@.[(5oibyo} ; 4;AS=@ Ǭ`!ĠXe"d%Imxɪ 73Z&-wB>)1zwgas~~hAC X-\Z(F)7y`Ӡ} v t)2 |-NP( v[G>}jXaoWp}z}É٘(Jx1H0FSTHp<,\E7m9Ljb·&WE` k-)[n=ўU: ֏7/3FüYa|z %6!mDp5`oWM0Mbi;P]O^G^wBD>"e<<PRkaknNTr8zm2 :QGC5IڕSb!Y7,iL!W+̵0Y"WV"t`$cĒ/{ϘuݘNY/7J@ua Ok D1ʗ+ZZຣ.P3UAcfiu6H,/ 3i9,@6GSp2Re߫ c;2e9G 23z^z-apW#( Ҏw;cP5ey2yO|V3hAb>IZ_v 0 e=CnPZ?}jƕ 98M/-fme`c wJO(-%F"R黫_t^QC[bEȀ [ R^@VW-}Y)90#lC$Q4&̅G ;"=:bG'px7!rtS,[ i-|6 ;~E} ZWn2r %khޜZ;lc„tA{."a2!N3'`~h mT΁QܢM7/Z=Y@._F8cegd.K ˦&=3#pJ凱=nF$%ig N{~,Q].&O)Ѯ0 i7 "Do ;y+pǯɇfzq)ob14f:KtA*_]J jF/i_a%=YUij*$5*IDXbjP]MF·Oq i\9L²;Sfvxr)К,Df`_u]z0Cw:~ji$ە:u#IŘ)9zdr3t&Cji$1就gh'_ym$WjML3kC`h-\ IJ(Y}o;Ɓ?Sj UYrC\|K v b(:iXm-(,h"V n;" yq6!/>)1P]4BkL%s6-%ŒMV/ }ԀQA%ZU@zT[oj3><$9߮c3֋IZq5ut\P'!(Z-@)iZ$!(ϳ0qPBf(wOG\zOp< S}<?S"PKznN`۽q{rʴ%ei-hmSڊ~Ɲ!,C|>9Q ;GP5;![Z,뜊HL햆@jWכY 95Jer S2܇hɺJΠH CZ }tZj ?D yK7*8oБѡ3; ݆BkT;60+lv`Sչw 8 ؇ UDG˜ C4פ*,Gpt= _h+)tOZMkD7:9;d%L(ji(;2I<Xʋܥ;R]2Y*t15GeU^ n!\zdWSm֠CaUcLQEb_U@(*SѓM[hzEv5nuX”Q@{Jt2 U=O|dq3PQ%n>WKާ n,)-.Ktӯ~7R&Rxr|EZ_VRq?P5]YXGh vؔVם` z'tSԨrhaQV2vnelOdO Ǫw D%'e~X4)Z.κ vs}L,K0#e"~>"|s$G I hU׼)or-b& i-tv YcϡQ-6EMg3tVk^+M>^էXv]Ճ߲o<87??MupPV3SנyeR48_v~ԎjbY0C,r3EmZ(+~J# a#.aPnp-fOx, ;c,\u:u^l̮̟iz b'(S>X:q+ hX ټ4/C5$G9ťDkyaVi>X6>Jug 1JZ$Yl޻R g~y4QS)0kK5C=a`e&&<| ':>ĕ/.OV\Ӣ]A~ ^XK1e1d7!Trj6 n%ӆF(9c99JUQ_ 奎#g"I{"[ӳ6gMMF#4G@Rua* .rhgTHl.[H",لׯ5)~ g)%~ `> _76Qe0is4ndUDUw,N%9WfKYc_"pCω̂#8Ϣ;gYZ [3W% ,MonoBoolTranAlgebraMonoBoolTranAlgebra.Assertion_Algebradocument.tex7zXZִF! 2]A-MՋhvG"uIBm5xfګqK4|j0ѩc~OkEt#M;v@A~xD$<7c]+F061^(SϛBO$d"ca5dD{6`!4ɵYBU1;^ͩ!螨h8xM4yl // hd g.}ӥµ-}I"cu\*IyT:~+>UɂB%`)CSTfxBo_v iG5]ƄL?K<t/?lFȽ({ynbG>VҹW7ge*їX!3 uSVn"Ѩ\0;y(iI_ӻQF2CAk9UB7뭞/uǕTEFkf[7˒##S$ڍ{0U}{$4pJ nKSMڠ'o[^Og!E:c]KY#'hqpG]S>ۃ}{Z}1Y-;=RJ%ɬ9crqk/] YRȡ.th2Y*I@Uڎ3*D(~^POCx,nH|zTUi3NY&R ɍ[V7U -T[.ѿe*9JP:D`4b|]GAI#Y2y0Ɗ36WЃOioFo"͏k=OPl9mGTlʛu`V@&Wgm|o$z=q1?9@9R\)~csB_SSqHW781DGb/>Tq㮬Hg"s/nx$IHmNa/OQ _qWly>MԐl~W`a 6x2b BYydf?hKG?^8fK8#/O! YD2+wY w.7:5P.[ kp8"4E޴惥xjϝ<| \3_Ł\"5nbR+3+Bſf7M@T#? hL-`K@{28Np_ :8٢58"B)EW(Ш0Q@i׀.Ϙ&KzIw#d^n K/@Mr*PA73nXͰIaFQ04AӻD}qyiOeIa%2bW#6 fJc-!8 ހYg^S<+d"n0uPeWfHKnˤk:O@:`.Y1X,$! &w$PZLaa eK+;uhpB9_PCIb)ʛ?&d LL<'1C-wfxkOq[fT C2UmUgwG*^'m'~b(z|FsI%7:Jc,*6#-y^+}%(qRE<0`b-p(yD/h~.hw׮/؟v IfHl%Oo_1r65]H2ysv3JymWI&i@Xn5d;41.D#URi_N'8c8fqHAa.cW2i`ș{czܦV MEI횺[!gf#^7a {-u5l>NUap3DiO1eJ8 "X}fvv]kؗ- %e6s?CU+u]SÎI`{g3yACx&͢iAc\e.4R6rĊ {D;uzzHSyVބw1N'>΅ҝȪtdN6Q`x V_CpDU Um]3<.4%XMRȔ h ݵ^:nm.~%%mg^꺒j>Sj ITV!|$mǚg dUk8i=bpⵕɗ%HAyvm, EE~/mA~ ")ާkJqX;oO 42-C~]vӢ9EŤis@{𨛏-SNL-$FD3rJBJFV`M%.͂;Di)i C*/LKoP1]-;Y"#3U*5 /65T$3I?e1T!<܃U/4j'Vo9v}%KeqrFV)0A:)aa[t'nV_pBssL>%H*L?zo:ƎK>zDwWL<40_1h[[8^F07o$Ajtar)Mlh#]ۀq^ŀb+hRz Ъh<:D8?mk{iaQ62RzHGhQ]oD ѐe 6g2-R|%Cu+ k'J|F8o^"aUT6Lބ9Vg;,J*<{#)|eAݝvM4<. @DY0x/d|**BD+~9Sv[)7*ew&#ƒS7a.,zK `gUogCa-.ZuHVV@nv*|om(5G!i<5Ă,.vPг<FY_L7l<x]f$IͲJwQ"*9+|s=8KM2Լs4oH^v.hqJL/*wwQPvDFd[0㔖5Ҵ$5^DHA;DD4WKTkfvʪY %:by1=FΡNe{'O4f_^LJUQ*n1'e§Q]Rz*V8Ѝ'/`ͅxndH&}QL~elEji/!xek:|Yŀ"M 89>+Ȍ5yWDd.+~wri~6O`ÌsUЮL}d[P7+gYZ e3[% >χD%j yHIdڇ$ Z.jqz6cեYb]G`["cV? wTz e(<Aٷ;H)24_"&2MNUQw)2mZo  'cD$S[Dxs4hwUxM}vF}cJj/a0zv.02=TnQ*> ֡Ia[zgV(%ޡ5ʴ5$ 6$뎠o'"ۊh~Avq +dOӬ{S,wh%-Jw_}W\C.&yl Do_ߥ)\sX>IG/ތy[~ #EPeiI{Z^>Xébf8; #+zr޷v/_<,Ih Ƹ\hɗ2s/ԗ>!BQ Ї-hı_FyA#FS29|jCw~~c\O.01gᭊȎi.1{+#)cō;0oB :aHU. V?!+G2γ79`qZ|ˎpv[89_\!/=^0Lb 0('iՅc8OKjfI#6\LSap4.G/bslq?7 ZcqjXA+mSm'N9DT3$yK&4ÓN`]818 D8#f _3`+ GSFw(B_$;7dzuy"'dLo}]QgľGڸQ#0Xv7 rP{\,&T=14Io~N%Ɓ֖b^*OMx՚6 gI 4kGաEgz0R5JWNOå ΰݵ?!`08\y=c  ?APU8 D1{W-:bsl0T*L\ !9<ɴ}h?ﳣ&# E5, BlpbQ̑E c=4n߹'z83@csJh;?@_x .bCDv׮vmFFEPW6Ę\ fX{ȑVwWhwa:ȏT:ý Sj)IZkΉ$Ug1që)#*ՙSm[̆IvK񀻤ֳs1 S :O.|[)tVK<{[8<ٰȴh >@eR']$Ot=y:V6֍k'a$OfbGJR J kTb[Ę7H&|=fw(reHu o!" g3;|LVzn__ hVBkWM4$I5bXAVr,ձs( *;E9G:ď6^B"|M6 Nk#g]"; F12-/{ԀhҒay]$UxK2H S I&J^=uE]:&6΄ VsJ]#/=%ib?ysPc}ʚ Ci"$T-LwY3H1#(UKgYZ