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   c5pt$4 ]/ Free-Boolean-Algebra:threads=4elapsed=0.856cpu=1.788gc=0.0007zXZִF! r]ŗXiɟ  Q/ xtWؙV7.AFK}-Ye+j0זl) !>`y,@]3=jGi]9s/Pf /gYZ7zXZִF! ]N]ŗXiɟ%38 b2MTa)F%ArAn:c1eȰ|Ag>_WTuTU46y0<})x LyRVSVsH3~Dcӻށ̜Hۉ%&3}7xX%)g(ŒKoZ <: tdk0|[S0] ^A5&vK 5ս}iIE-ʓ0?0iy<uxl !Hoc wp"p^`=pVO52(BBs\ 5_% dFree-Boolean-AlgebraFree-Boolean-Algebra.Free_Boolean_Algebradocument.tex7zXZִF! ͆(]A-MՋhvG"uIBm5o{V>RPAwo.Z%ӈ#(-?1F񕙚Sfλ`m$Ԝu;T@`*8x;-ogGQŖS Yyd!"*ƪy\_w`,ODv+?; H 9ʵD#ky#%!y p#$2Zv|Z`H;Ʒt27rGDhW|"$X^C3HTɃjCF*7{5Y@@f}R[ &Dpr6j#HR3bMm _wHn#vN&ßڞ$9*̊⫋5`7(MIȿyV%"1l^QHdv a=„^pTu`}I-b;20՞4跐bv'jjBѽf VTO}76ݮэUly`W1{8ލ *īʟ }[nתa.hxy2l;%vA#ө%{Ȭ$^z6 d9@&9\o‚biUKvck=Dfwc:?O(kNY]+BD$eݝf# UD(ڤѝCie'iRn-~/L&¨z^*K0s\J-.$N۪=!ڽOȧm<%@dz Pk'YhʏW?HEy>eY$Ј+2JFtũq+VSzJ6mx KӺDďJiOR5JbĴs#!:  4t^܂K5xuB_3HZإ*⤰"ZsB>źX`\#⢷? =(9qghM$~d,֟jGwC? UXy%{7w?~?V7bk>ɤ/ȅœY&(8Ho L~S1(+𔢪N$*ԲI 1[ˇ_4;"n؂9S1ΉWF /`F߮H=eGe+6<)Za!h=ܐ/)N+RtR t #4Wgv"_=42vW=Z2Ns_햰c"R+/ Lo~3[kHe6er*e|1l+n隔9errm&GE2PEK4u21`TYO1-ֿh4vVi;ԗyq@0/ha)kj/Y=,u64E' N5_% Free-Boolean-AlgebraFree-Boolean-Algebra.Free_Boolean_Algebradocument.tex0/ARncv޺[Uم2O95LJ>/GsWv4Z ǗՃ֛`%iҗ!w1R[L%3J+ⶮS7eT 3=ˉtl8Twyawyh hod.t@\PXY_22ZMB,uR\ěPG$W?؍nFwolyC)l{>Y7uמdSq0vD\  ?.vRPܔ`?6h '"r:!!9Q >6/Z`M TJ I9t:p>|<]Ňb=Q7w8i/(<@,= +rA$oA-m{wH}C '4!|b:$`66KE xB2=SrB l%-m$JDcJg l༷\+PO-K7U>~^gwG ԀT궦V0e\J˅o"{lS۰JrָA5 4ON/>16A xu[Aδ|fD["n ĨDA\T$:ej7$%?Ѽ 7|.3avad%zt-9KLs+J/SzX+w*BI s hw&q,nj@bbKqڔI6rB+'~FK&ũZ0W`NV&CbR@Ƽ.&Hw6&PT=SGw5vJTBN.v/~97+cY5";{џDב !G#LF),X\VzZ{'LH9׵b\V6n QA ,ض0l.hqсkeT8\֣}qLCqqa`t\eVq0H|{EA99<:X4"tH'7piNuQ,s*]y{5_vHeAdX\d tѳtF4t ]'z 0.MW0*_ۉYiI^utBn:KTcl [ꕔ Ӗ-s5{TEdBhBx3cT ԏʉMLʍܪ& O+mwW%mt&}gVf/nE0' .ʜ^+SMo&>/%%[o|}7h"GՁ pv05 ksu{4;c+' (OJ <5RQE/ go8m[. hLW4eS 6-2]}ob"N1r`V}υ-J"05 [ҳ-g)C[/"zINs;ǀPnY$;A4ElPR j3Տ e2.U:8׹aJ6p7B1 p>OS0υ{$ oz#6k묒0%(t#4Edw]IM3*٨7+ g]RF@A֨ [eji@ڹuQ q}-.0Dej   s\ z]M3{y4e'hlm)!rX@ñc,=U"FU>CB@c `])! ֫P9`lFJJ6a!]vKڀ_9y'*uW1Y5/ޝdSivѬh_ѼCaREuX/.!}, M;{Ak}]rM4L9=3M~WdvY$CעFN}h@=S|ȥ FsƯP~AheQEͱSze,\=BtN"Nv31\4m^(XS/∡說2+Ŗ͔AbЩ7\5INED_5%lNb{1+IDjs5SGݿ[-)ɅJy7֎n{1r%$aN+,o/38 J]V " p4%ه\]3dUa>浍Cg YvvOK.WExi+͇r33`̎On'4d X1FYsB4xoOˮv|#8VDj9Wܑ]F&^QlnKpyv 6̀gYcf.>Eprbb gau9[K3yʔ<ݍМMզܓen`f=Sw6 &}Ƀh wOtY8i~8C Pf5;d V>̒hᕀJtJ^dlM/N) mktaQUixw}Uq-T%~4/q:1U^TghE+0l]ƌ`?h,_XjjMj5 ޟFnG^6; 1B8mPƤ8^MnUQvXrgL݀Y9Dl v_/ M>k- _zeyFߺ錝r/#J=8*Oo{eH#߾c"Մ'FG" T"peQeNu0(!s_8ѐm1l#~ Va6[x4ۉ i0 mQX'.^psFRq&/wX0jNyLA~qyH͞8YԼmgDw~Zw.]k8ʿzU=EHQ@ 8ck_"b*23ÇTeШ=H/_sVCXv!HA$O \ر5ʃO}'$Y'*Cɩv(Z%Z3(>==:d j&< 8dxwIh~^|ȣba{s]=$M8p*TC%ۆ[ϙpSću&uw'ҍ3?]ɫ"zE[z)ƊŸ ׇC$3bPaGGzIh)%R6z]n00d/ ECT@vBKz(IG)ۻ.}`%O*%\he[S+pgS>7ʹ{zG?ub KT}'QP2WE3/̬PWuG"9Gw2;ʔzkS_W;zW*t$~_>mȺVEL)OQn '$|ץQ@>! Oi&bw^]w-Ɠ`*\̩3*Cn3&g5'`OToK]}%8aP˭x(8K,wD2)Pv`JMA^&ɩ?8/X,؉l Z"Np k6+~ʓBٟ,_}EB<~f{4?% pf̱-P㉤&8 V2]5Fs$E65*5Di,ZV rzp {Q"z ,h VC,1gwP7ӳ1#Te~)_4%uoel*c{\[b}Kʓb_[ uMmVicr>x$GO)b(_ok\M[Қ~ 4ՠc@=5"i+55dS1[!v؀FhԿ3aUX\_e1)^NGO$DjpRl2,Cf7;(#8!ƌUHa]^ltgWm83C`DݪY v8hC $j J5ϖ׸& : \`\ot9/' TAlc(6*b1ieg9›3/X쏯iVRdWIFm-^;N*l32]f9G}G+1c.M'pNzw)+KC85ܪ:)YhvE.&@eHZϗ(@#jvOX O]|M 9UPWbkE#Ɉ4msFʖ(U!NNm)p\zl/mw)}쬤0AŬmZUpn,fQR֩FMfCʗ\ZLuj%&AzI0AnmO~'hCyn<,_Z9OʼnMa)!?d$M,2:dr fACiӲ68jA"{mK,M~N: 5̇>i[@=~bٲfPOn +"$᭿fњXD3㽾&iɍɕ۞`5L`q'? <{"H /m`E'Y*L.S.8^E[`1QEk.H .af}Dpwh^$^пuPFkFn5'YT*+gz/6NnWq]$>z2MD/D8Y>EӸ$bȊYdS!.PZ*!cm)W˺%Z,RߨɈ{78r⒊H] LG]:NƠњ&\_aej𐍾Ɩr)!*Qf͠~'|>|D0K;DTɡf2;ƚaX@Ad824Jp} i ˺nDJs q mA@GXnpc' :lc&xʹ g5,wc"V|1k;7D] yUG7nN Զ ";#qωm#D\*K3<5l8_ˎPeCs_x epCm` r92lS,DkK7Sw@O |?Z!.PT!9;u6` Q pe<&v]~ ei?V,d:N+jƯy퐎\F2}uaPY4{G[֊h "H }ī7ќuC:k^4~`hvZg+,#Ӿsyq-CfrA, _Yv8,7 ֟w4-ftLitDMU\l!K >\tP&D:kKAuS%'*Aﺚ>NB\y4∘7"tCm$L=K!>e^uI-ryL;`o;CnƟD_H74k8MG5yu-^-, 9Io߈{qJ+/Q+gYZ