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 / DDd ]/ HOL-Types_To_Sets:threads=4elapsed=13.940cpu=27.004gc=0.824factor=1.947zXZִF! m]ŗXf1-q恈'+]&e}0mz_i'av&w;g=K0yRz`<[| ͗|Qһ'p\3a{%};Ϩք^>ofߥ:I6f0x3i{ՈxNaPti5X8HN$w++n^j 7ai8g2tj4iAR^_e{yO$&*h%SR=}$_a~rYj/qyW} *󠰷&GƵXON{$.Nʃ7A€6FܵH2I7PU-T;dbds S(=n27` _RxvH#ep>6φ 9W$'٬Mn ѾBp 3b=A_#p{š9Ё 㠓'K9=Iymx[UTkApEdj-c$a{ৣ*6{v$\4I=QT?~K>F35 za)H !-v΍P6M1 Ŋa{pF"A>_fn`;-6P@l{–Y~S=_vE \IWșkwY-CK/nd\53I"'$ Edcp79)MJ;g_Q rX{̞3&NEReBRXQ. }Ân~ʐ }ľln BT2t}O%sNvoՉ9P4{1ŨX |Ch?lD+Fty9Trm=.7 *+cA#*#k2<>qaQrh# )Ƹ7L\ BB $HP{*?c- I${2<ͺ푗Ŏb\LNKjU|FI)} 侒S51*#:@N3xI\}>&l5d3>x |֠ضgHP.02]L P%!Oq1c~ۍ /TgYZ5715911db73d1f92d0155e9818baed712920d49cd3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 / HOL-Types_To_Sets