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   gp$|L ]/ Marriage:threads=4elapsed=3.907cpu=6.612gc=0.1207zXZִF! ]ŗXiɟ  QۃQjC$HdS٪GFi۳Gㅒ&XY* ,ؔ5.3nr@GRto?")Ƚ0S0_.+~0NFiZ[^$>Hy2>Cj%ˇ0$#ؑ~:mCkoI;tLmd'6EZ=$w 8kgYZ7zXZִF! E<]ŗXiɟPaOõEWDwT"~ o.&wu+DX;WfAXF҆[}YZ7zXZִF! 1]]ŗXi%D8W;)ABVß~ټޟ h5q7]sS==[U)VQ^!#{;]jw0:9Eyا![@aڅ^Ӳsi$Q>.w +G p֚o@rõO^"prw=:x{v Qp˛x86:˜NCrlqu΋)qW 2QՐbzRJ@x Z9uĠbaf X| :|fꦮ'zʥQ/ltvem1 բ;Dp w7B*2koT5ÓaȎΓ-U8ɖɪZ/ QP&S Jy6C*bO޿۞o+"lt0}Ax^"QϾȝM{ڊH(&Ep|D~ z) Q;J^$,+$H/u,:aFJʻPkN.6*BJHOncd.Cc&I&Bڶ}P}82fh,6YJg(kH$MξoݭNGbe8wQWp,ok^!dls;'y,ʨJ ihtiu2%euDjޚpzU0^R)kx9PPIe-m{TNtHu O^xׁ`FO"":ƚhd?.YW@ nA "Xno8߭YT@~1}bRVL=.m-u39A3sw/mǩ+I{P`}kLhK|=>GH TwN(!ܺ¿c t`gYZ0b0e4afd253fa4e5da44255f49cee5cce0656d90c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a   Marriage HH-/% MarriageMarriage.Marriagedocument.tex7zXZִF! 3=]A-MՋhvG"uIBm52a6:H}ު,|`?}v0==.ZO6rX۾)F\|iQxg и)c")3͍;ơPZ߂V#|T.hsh,CBئA}*3|{b+j)(֞ ȩ`Y/7QȂ6 V0$wϷ3 z 7Χ?5*X[fpC+Se/W+6%}q4 Vgl6A{Ti?ah$I=cO۲Ass@\^ hzy .p| o6(CJ-ćH㞲!Z,aO\/'QlP"ː&; ri!3v/_T &0`k&hS_TZҳ78 d6yn0S1Izq)1mɺ3S;ϕ{տMz,"ӗ_Dk% 0/d!ehukMWvزh`lֽxv]j7}ռb+΋3 3rN)0B3 c1sJ AR[3ҍ)H hִ>^!+_Kr~jUtq+"LmwPS潠mwPN3`c-C&=VYMP Ƞ`h=DWdLE~W@4/^a=Wg]/m ΰ=ܡ"oFrFAϧ͈ڐ#[K~dLŇ^B[Jg}f#?#qBw@MaL~')L'z c ºxY":]I̍&U0WsFw(Aw}:d5jAoZH=^;+hKi;Lo3RD48@n%nC'@:ܫ+N.AJ--6i[~Suox|xY& r*{K{dGZ<oBC6a[%@K/ =oY؊oL 0U  0i= B-a"dyxi9l=’]”Kॢzhd2iJd+|;Zr$Y.6zT!3lT;]4A~gs7.pU\Է沞t^e uA {ۚ"=o!v`QDU cEyi}B?383 ';&wN6, YMΜ0{ x vWv/F\=y @;aBC.ķSX|ҥD'*De^ Եd;Eԏ:b%UӨ;cޗrX_^ћy죲xsDu^!?;$QhJV 'G˲o[i@ZZxWb1#hRɑWX&ĩgOo1YS!{VOG4]?nNrSֱb#1Y=JRm /x0 l%UiD[ ~i͟SarJȅkXĊiIȐ@d<8ʱt%;A6Yo?wYyCטN')+>d&ɡW>fԓ&@AzI=U$bt J-ٕ" jcQڪ 4q`+LԆpBQV3JA]?7I)w6{[g&6Bo^AC(}\ [O [9DtU={U:%eC:硶2Ɯbc2jڃFWVG:ƹ$w^A` FI$L 'GU'w+%a*"H% ;߯28l ḿ#f&a"`zwAA{@ }#rid6Zx(UQԬ(y̢l 9_b8:hm E{+6p|egc`!Od%0TȜ?WrƶU#©?i_KzMbD Nv[墭2ʝ}s[@]/S@<=>`?Dop߰+LS9Zө/dH)i&dj׫*S >;BS p݆vnɼq)4~A-UB{7 \z2cf e |4Ţm@JHޥ|(!īRB;+,ːRͿJ]5@t?Y$8}դgiVjXm]^;|ˊrBBpןW[<M\p фb3MשP.ß{-+Ws% M\ncȾ ~gCOR"Fiuģ6uJxbr-IWZƽ"$ gϚ3ܫ6 7%~u`8%xUVN0I,sq nw  Ce|fF*5L#d1׿Gf.ՈlTL\2%@ܖ^˧/F^\"NUIG`{eN2NM6?RIH 4jb_s6:Y:%ɘL&6< V) z g\dbW/!޿&ɬY2@Fsڈ$;fn;۟)Ɠ}TT{iǚ>̙Z 142=Jf q%#Skݻ*S1&>woAeQj=-դ8MY Lc;2ծfA] J#p\2C,xQ ` vg<H 0Iϝievq/Xѭ U@GVF8 Bw;7D=E@)+iڥN4+&= Ms bhd^NxULK\i0`gk3( Z_-:&LMMWy6E}+ 7SP8U]6Gڹy( QMB4"*4Rm4<<w,*%UZW"4O~QŐ*jbz\r_R s _e/̒uq4$7Ӷ°@C">, rDgRgJ_XV1mO0jnZD3П\^/ kxI6ק1j5:tj6I}7]}F׍ٵ!:d\TOME &L$e{ |UMC=1OVeGxT  LT+ir+>:WXl[s3-ƲM*slxjh%|-PQ;4s3&z{8'NV4AUM]~Ons *霉%J9zDbU3B{ qz?O0Kw+V[P ʯ.nm0WqJEC-gofъg ޞ>{x.mGwk?ںIiXs(.O5yP8ro򺦫=f9ٗ[|V:k(4nDVOy׆~N<%-0mI8A v&yNA2#T! EH*j}Bj|0\#^/MyLo%EW8 IE/om_\)^^([Gq~hf `x3{ZI< 8Oq^%H%wT נ.t/8,VHJ8RO!-Y(F5K#/&`BO6w)VZ2w,FDZG4V:#QLq,Add8f5T$$VJwHFt"ӈ ſx|OGr,5~M>ۂ&b˻Q}9TkAH mc[Tx>ZΰZ9 ?߭hcט*pfRȌf&1Nu)J6RPC2HIg.e4Nw!lTż脢M|YO3qCpɰ†AodycLFӔLpP\ Y9*NZ:62-U|I2UFW"]׋XI/c-r2F0z8ĥM06aH5SepPEfU}*΃HC$/k'0ԛW gYZ