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  L5\$ ]/ Free-Boolean-Algebra:threads=2elapsed=1.075cpu=1.828gc=0.000factor=1.707zXZִF! xf]ŗXf1-/6vRZR@:>SyR+HwcLYE݉^Rw!Յɘv$2/ *8DyzgYZ7zXZִF! ]N]ŗXiɟ%38 cnѳȒf.voGKQ:3?ac3I湙Jy~Ɨs, ~乨CÔQEdΟBWfF/F.ݸEqiM퉆]hy]|&6b"#U[ J;6A83DQ (0€(- c zDR1ޔH.!9Jk~Fi7YnQT;U:[T;@#Mr7^*YgYZ26793ae745a7a8018803cf6a8ac8ede98d6b9bbb0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 5 Free-Boolean-Algebra u5_% TFree-Boolean-AlgebraFree-Boolean-Algebra.Free_Boolean_Algebradocument.tex7zXZִF! B(a]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-ֿh N5_% Free-Boolean-AlgebraFree-Boolean-Algebra.Free_Boolean_Algebradocument.tex4vVi;ԗyq@0/ha)kj/Y=,u64E'0/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:HbwxA V>Rp"&)-:|0)p>c>"K"4)]NJN{:zy9}_ɲURZŒ[ ΃,AOU;3"9,Y:Qe/vӌKzd60-к&_&?ɺlU 501 bCfo [,ٲRN\"ݩ}k ̂9&[ƦgX9r/|u70W;9uwQMsYyV>um6Rgwpݨlb^ ݣܱ#+ګdf P&-v&?y(GB7 /,C;rA$yY/ՅQ ޴U}OyBA(ΛR|U]vLֈp |LQ ܑ.Ʊp%{^OS;.4~?C2ϐ>HP[\U37P9Gߩ$5:j9Õsq V6&z{x9x90rף&K,c~X dZ"Gx7UUUս͉G~BJOSpoԬ;8`>ЉT)w˗뛤Rxb~>T-׸-,ԚARQ@3~x\(g?-Khd¡5܀nrml5 g _Vg_@FwϖF<>U F00I)xy@E/GjGL0|QPJg;:5 {BAX~{ڢ!lH_mC ՇhJ D́.zQ݋k}ݮ %hYؚVў[(2eH&@ 9Ro.``t,a0f:qLG?lXz_P04S `xJQ)F#ߌNQYHۢN\W孥}zXͿ4d}*;(a-%^t~ڙ+T@!C\GZJVr gG[ݑ^&# !{*HWsb ѴgJͻ|`cEcl>OHQBo֓e\/Uw_D'nZ.^_{~弞X%p#K{L ,SdlJTs1fCaRwdv^~صmj Egn]^]k853_NStոamÁ݅!ם [s+"G\Tsf肀RtS=z.c2ءp10mlF3K^(4!1hKcK n@kya0ӵX96:a7. CePa x7] tKY\ "0\'pJD"bC奸b/Nv~?}P =WV|ϒ@1^/`#4o4@Nn!ՉH*"i4 ' hrX|) E֫j츄sw`Xc2zv3D0864K霈s6FcIO8R!^xO`~JJkrN{;:rw30=1k'p7(ҹŴn-B7a/]EoċV!(HH䄓a zc?8f^gk(ZgYsXAvYr=VS\%hdN dh] ,hYW3д@}Y46"ʋKz] RO:?|]۪PX |#ldSQ :EY~ 8]L[=CÓ'g `fll˱LI++azf^Ys5rUb7 wNf0c!LBA[Q[ A@šTÕCfdNr@_l+z +Ûx8 [8;S*(Rw* Ss[^MFZ>S;G2,X0u)m|q*negdh`Xk]"w ݊0I ώftB˴(k{@ßcjА.syfypP :뾨 ani` F+BdYg`H xwzyq1Ҩm7B-pj8"I,/';5 k5P:l0F&oeo3Ki+8#Fم}VS_qI0Hcg\V-L֗v10m;EKD6_ޘb(3|h6N?s9L~-XGXi}%'< D:RC!©*\J@Ӄ)54 9a.%Y0 tyrU(8a]{mXNg_s#el[oifha/W(m*\_uA^fc>bwjE'-ޝNlL&Wo_#yqҷ9ғ0ޜٟΒ.Fg8TZ7z[ s%ن;A=$mh0ĉU~)mr)b:) DyՏC螭s1v?Is>ԄSfHVl#R Iοc50]#=jV-OMѱЊ\Os(SUjSbpxKu09VN5Q~Me8t]W%dZ"b4mǪy$6mPG#Ay0:Y}>< Cd8M:aE}g~xA99P74\_F, a5<չ A Kxij`()9n`y^\3jj2), lV͖.plte dV+M#O]N-4&-=St7bi/RE= u+-5G( =}# ]vPWq= 1޻9~evX5EG8#(2jfh\V5鱺tTlGG\F59mbYIλ묻?{|?F."xa}+ Š/kHsuVc›">Vm(ʺOyyw#A5 9~ ZDJr= ]Uhq,ڇAC&N{g;:]ya龟|8 a24;!.v~^te]niw?=צ˹Ag3T Sy8 Luڛf٘U6YPR<ߝ$W(2TcfA'q.'613nsYq+o `5, Њa0 OKf#Y M+x_+#8ɠm?5kz .6$Kyqlݡ; VCz^e 8\p@p[%4$룃T.2ٿ48~\flc3덣Ѣf t/9XmomzmC'f;"gR|ӥ)Qփ0FC$ N)'fG-si9:!A` p 3)6D<%|]/ȶVp_8{%a,Gl;' l:)ǏPtH%UYu7_ M_x&wZ=sղ ˳PxkҌB _QJwd{a{A}%T`HMâY0MC])fbyd Oz RU}T][w@. i I25 \9-VIX }SbiӵS5g _aGY%SMG'߂RRDG'ڍMyq|6 ZrgL=A冽ܶF5kt>=gJ8h +XbDAp|7=8qBw [&Yϼ[_d+($T; Wsl $ 6%^8{*t1dr d-# 4+ F i\G󣣭|<@o1PߦZsO ⱡ@tkM= `EN١):etT;  .o}kvw<>`%~qWsKBvv>@5Pן/_$x摨A;L4UAϢ̺>d7^bO~O*qז]M4CIT [FF;QѠhg,\O\m%˫u IV9=XA Qk[Z6iJEjO*gGEڜ[c٬(,Ps\{qy5y$љS#hmnPbӄZG )8H?:d"rF~ڏ2&Scu'HWӮdլbJ p 1A"GY`eBݪ\t[s!0nhk1*gTP#e+I 94~r rY9VQcX&Pg4h;hm:Vy{|GȖH ӊ5+>-RaxE+5J-Dss\a6߭(:+xҶ*[csx3suD"Dr9arH\""Ձ Rوi=w;.#~f=BƔELM83\*.}= Y{wE@lJrCR/&iCʫ dQ, H{ϑU_qݫMbPԴ[ $ATsԪ{q- wsNj|%u\yWm<*F5nP]ȃ!fFP8kpjB2⬒I8&fKE<[F(-WC`-?m pk3I.FZ+? !목?ߦ۽?ފ̠؆_(xR$d|mLzTۉa:>P Rb#_+A/!L "yo+α7m3VUF7R5);D2{;nSOĺS3T+3#@gBSm& PNOPÜjgYZ