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  pt|t ]/ Marriage:threads=2elapsed=2.025cpu=3.856gc=0.064factor=1.907zXZִF! t]ŗXf1-/6vR[Cx# U`PXF҆[}YZ7zXZִF! K2]ŗXi%;  bo{k]j'؜$zpgtQW}ayY: {j%!˝+|(-?y@4=hӯ$4DF>% XFS-%[%.88,c/f4.NFa8= COp[5ƒ}IJJr.`0EIv;G/-ւW_>0񬳔nHdS2ƀG&KEeYYZO8wL5Af4 lFњZGM>V%-m=0<2VoOȓuCvuDx04N;ܿyk] sR=ĀϓثXGS YCPNIy4-4|ߩhpTwkTN̔M O UHO,6SkWUsUn*ẊEu}C>euhh:[,b4+gYZd4a1a6a65e3d5aec836ad51869a1eab7afe63b9f0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122   Marriage h/% MarriageMarriage.Marriagedocument.tex7zXZִF! +P]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 &%9ON9}zZb1: NYpI;AۢT 7s|~\%}8lSlmֺ(sAa{j6e[MtRײz6ښ~oIP/WM[HJ~IdB-}͐{9 d)kɴ]v]2K4qWyL7,cAjE EOOPIq i 1=KJZ!wTvkޯvgc\H9YN rfOLcCdiVخeWIOsr|w)-a7Z P0 ی`rb&]<5<5%8\{ջTb[nO"f5ijݴS"]Kr',*qaip{aj\ͅV eљ3o[u {g~vRhQLk)o[`M Bdya3pI:3c{!3 + ~ gu%q|馛woH(Tʃ 0Um 4J L}4_$CBgaWNm 9k8 )KQ_Z \säg--2`#ADC7]Y/Tgr[!J|> du>̼hIl2rq)o-Dltb;)yStA<q* XX 3"ʪĨCnwqX;*7AZv-|mzvTRb2K$ਪ[KUD+r6'eKvowY6bvN %>y ~_Z|PA6{uuDK۽lH 7@ߏxDlw}[5SK$Ư:ғzDD|mBuW}49jY xotuү r tw2A{Z;@r vv"04Ez9z-bI4@f TUW^;)ǸBe 7$N ++, `_f@%kWIw+NPs_$A u0[]ʽx.?n`>#:Kq,tz$X6v$z*1!!OxW"<8pgES8]Y6з ` mUEqdMz0B25ckQ>J!K */% MarriageMarriage.Marriagedocument.texb7j4_t^ 1$Y  x;ŋ6"7oBurj>?jWC;7S @ح Fxv Z w 3U9Z:3^7m")ONgBЯC*\aXh =g0epX=>f ĴQ6 c<&@uF9JNn%ABb_~ ﭔ .𵢔A}bgdEkd/ +S ox=!s5V8\IS (@A;@BԘgc).4P\cDbϗYR Cθ1C) HF:|`p&CGw1z 5 fU Cg NUUEu&ۋkRNX# ]AIkHVk^Xd2{Or_yk/ݰ>* QrhҹSٿ{Oqr}= z6s.qE7Җ|A*6SWmemkM1t̘$#aVŵU1$losۧ*μ6]([&GƼ:B<QL\2Y2=#xuHr(L0!5Axtq4a`JtcݽD{gSSPV"A&> hfzDEV ?eI0œF˘MwAc?3+[@Yڋ쾁pT&ePoOkVŝ^$),@"EfRzEc(1L:\E1)+{=OhY!P<0{rwˊ1Ƚ9lkExޤdj/P\ø\ث+%qT"C}an]p!j8SaƅuՆ ]e>.G9nkDRff*]Q܊"m2RmEx99x˜A FmĦzP'W5Y&qy@_Lʠ!Hsl|W N  ІLǃY>uu'ơd7C{9.4鰽 ^A`ݵ> ^\cgITB-/ v:99__77}Qrw>A"cc@HHvG\~^i0gCs,*J|~m:vp0G۱,~$E:{p䦓eɝAalܮ֦m +cDz.ȜfEmT5:`GDH~QqUd y\.g3XN MKjNf), AY <^h£ő [+tSCTzmIV2$MپZ*|*3; zF,F{@<)hC v~wH<{{ئY 7E㧡{hFGXV?5(`/rzHSNz3uK0nw:u_唶q%ncQN˚lIfYqch*H0?VGޗԯD/!e`>@{s0Ek|G=#V{pTr )Ѓxi3{+ K o`"!9u HKlv^."Y0LwƕCu7f7%8"].VYb4[UZo^og8"8:O.CX|P ~VAv[XQTȮ4 &5/(KFOuR A~rZĊ8Zz u/@F5\9 rrvL28 JARLXdFC"Hup-oق뵵IENCBQ\/7Su5tí}fsr_\ Y"x%nO@,O4$KuY^L= |흔;VT#3D?Uui!`OO6XEi!N fxL/p )!AjJS+:9-O]Ju\t(-wIAq)mK,\*GJSo_\Ĝf W\i =xc#sZo Q4Jjbу0i9MjWA?a'H@_ >O A9|JFNe]5ne2,q' MkּEGЂ &fZ=9:U>E}N<Ș)Vf0\2׾AfS|51{>bB7(\D{"26DLsc09˝Rè V PgZ}4e:lS]g̍3-|.y?߉)DR@ +9! >@FZ%4,F(Mv{jsmGgtHϒ-%G=@9J'w/Ft6݉;8.2vW,T ,9:]/4M(T -cI  h2[rڇ#~ c9n.$`G;v.Tejطm˾RrE6#Aqz'˔5h^N"r8׃%gAtwYǘƒ R[lM EDxA=5څ- *쵎aC2PidkdPu7'xUsQ=B9nE\1\R7L+놮SGvf;=xa[Ζv/#Vˊ=WC޾ɀAHSP 8\@f6TO*Seƹ"]<]Tt W1t) 8euJ%P+J W NG}Q% ں>Yoܡ %I`3 ͇ qi6N-?v9]u hk"Ɠ/%J\7 9vB:˓*>ŝ(JaԚW_FUZpW$9R?m.iopkS1\Y;. g17kX~((pxlTO+Ԃq2#7n͓,…V38XaK;!Q pT7jχ2ք>UYzI)「nCHDG6:fjp8|sW>B%.PMAMr*AISKmF`>1:X.):6qz.Qts*%877o^i_q0jw뀧f H }Lj0-#4Qn"(s`"56hm;%w~*0`YQH9OjR4l HRds_ =xeG}hXYIn6)0V5zz ?7`H2CZ&0$;#iK3;*Q4V`霛Te|R1