SQLite format 3@ .0:  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   x|d ]/ Marriage:threads=4elapsed=1.414cpu=4.616gc=0.068factor=3.267zXZִF! 1]ŗXf[&LcfdLձ0Fc|IIMsy[1n*QA 5~(qĴe ѽf) blMN t-Yod[L4 |;c+igYZ7zXZִF! E<]ŗXiɟPaOõEWDwSC6!t#^MaR^K"J&iXF҆[}YZ7zXZִF! ]ŗXi%GcƭNB{q# eɱåW- ،o KG bTn@'#s?LV8,Y&oRUOyunZU[i Fǣb|ҳH$!oA /Y2C\m2䟆P38G= ";*eҺAoDIf]]7bntub() nyb݉BJҽbc {S$)Z"M.I V}['/5e[,[TՁYCEW^lςW[_ x.ib˸i>Pb%N/O;’8Zuvh`LaVYwUJ+UO=Ԓ_ϻPẂ{ltiec>zm3=pEQZsK8BP7z[s4`\r:c?t%0Qīq}ϯ!t'-WV 0%.u>vE/Kc2f idJT+ZhlN'Z/o7Z}ED|O ' ^5ƅ^yo$N?qR*&:\EshdKR8=T4{#XCFԠǐj;*OP!V.7VݟgYZ5760df80ce34a16389c7c96d3475c8c1e90f81e91795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89   Marriage