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  Kp|4 ]/ Marriage:threads=4elapsed=1.573cpu=5.484gc=0.1127zXZִF! ]ŗXiɟH)0%oI&&ADG +vjoւvBidsY7ӖvZvKa6yr|0EaL5SIP^x]yt> V:P +G-eeAq gfwՒ4}ȹc!z/i X8lVL?r֌8`:T!70B1FX9VXd'wB⬿@\W4[ʂdx3I[k^/՞NZ ۇz”+бje]iS   Marriage  EyXu뇬,K@EPhw(lF0/d{=$ Nvg?)gsȂ.X]_ $3DROc eX;[5^drh$ pM\jSQ*$4!X&rr&}Dx%T~x8m7 ᤉ&Vqe@܆<>˷7ۙw6ZRZ6$y3*kTk@uu(t8iV5VƸT;IX4ct mk4}!ng{fKUJW k]򫃾tҾf/("?ڠfhE%QZ_"όsx22G 8ZoTWVe۠<{7Y<'U@SO-%)bȜh ۿlv5Ini \<Ӓ=?uanyt"CYw8d3>"1Uj5?6 n՛;RHdq!a5:Q1m*$ t/}7L[AGsÔBp8v%Zv.^ʴG}kDZ?" ZiV zw-#G1k$+,i2Z8aV-Vf͏zjh"֥F6C;FiA Srjn# ~MS/^t0Ŀ o*xNeZVcbl{(N  7Fc}V>JFS rljZ @!XMTHb r5: גnyj6`g8cHᮈg߱ZtꉐN,64rQ/$MC-LIՙb>Ұ*BqSf-3!oeCQP7؜?u:m}$w6o'DTy 2l$7&I54p,W_brF.[sѧղ{^CKK)WWݢM `j=pO5avDxq"UeX<M5]d|{ xԖ0EdbzZw ҭ4~:gj$\ydc_PSԹ\LZPvף"z. HtXj#Fn 2& 73;aa5#*3E nfaRx)mTMqЅU>Yt.n0|Nl"j3KC\X5NUڦNxT:DKTHԊ",O058#6q-E;7?z7Y5F`'r3 ؚ񞑛] 9fcjkLB;A^HI 0۾| נ=c6? Dwc'E@+Ѻɋ> ƧN Ne<4!r1QѣuiM%i6nawWa52LvPG7Ǔ$STȶޟ2߲C#& E')jw6=ɫrCi|o%:R^Ǿz^E)Xlw`ݿ:?m$R>z\¼ՌH^gaCuA6xO/ `nH`a;BB!ftWzdt:DSnNѿajվcLDLIR;_T>?)[zjmmjNU ޗ<Ű./L#R[r#77PuetYKd6hU5kYDryS-l =__|i0'=ܼ;b$3o R(&h`;p*w  O gvC:3(qxF_+-n-S3@\!Dl-vyo+'(́闙 r kokxn԰#q 9I oN˭R[KoL]+X[_"KU:kWo]w4nH/h VAPgYZ7zXZִF! E<]ŗXiɟPaOõEWDwS+.)#rK@{b^XF҆[}YZ7zXZִF! ]ŗXi%L&VtiABbNPE1'cJY1D\7g"?Xr݅slպ#z3T؃}SA7p3,}>`gs,EӬi{o0xq3rG0gZLY >k\zqP"x-b8e7} 𴽉L\:m{0v`aVq2{GԭrETR*eDD^E I!0FЃ 92l6Nl o<cI)P]٬v{QvڔVtOp$` CӬ= Ú%<~?)t)`A 0 >0]1;Fr⬶$1^],BB543Ҩ_+s$S x ǺMӠZ[ٿ`]`ti8P0 gn8f7 eN}x *6E$ݭSDVXp^Z'| F \0k&PP*mX\﷍`o[To_[~ZR7M