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 c/ 4L4 ]/ HOL-Types_To_Sets:threads=4elapsed=16.331cpu=31.796gc=0.656factor=1.957zXZִF! Q]ŗXf1-q恈'+]&e}0mz_oԏ 0 I4܆F3$͹~K:ج-M\`2?bl[4ٶn:'AWHuvID#^ -:)Q;TxtPΣl"k]'x: P?CΧU6-ۦ,a2*.=TWwLPuĴעNb>n, P,ԯ_'bA!cQY|4)D`̉K(:gYZ7zXZִF! ]ŗXiɟ1KwCe ))+eWi`; SqX5/gqDQoxiQ¿ɛz>!"0 L5Pb'inV5SJQimw/$^?<`;8揑P =rԋbP&Gq#3 2qFv jU;7CԾ@ouV@a]`~ އ/61ؤV1k`S˰FPu<ͯR $|L.*3K;SEvGDnJa)Go+DrQO'8$7(zĉ"󳂯$ٯ"i P(>7˃UIz=x_T/h4S/ U߆"]09F|V`+8_@ %5,&;Fgɍi477A/5`*bƍ{l{C!YÆ\ %+ėy\ХWYz`/yApU;O썝P|lMv`uS܈=eA;hOm_&$u5w")iF[|2X"g:s;੘'tT,qPbvGW ❇,h(&fK:ၪ+K8x/ͧ[`4:L[wc~% N!jL%A|=S2|f04)WIٞ-'oV)Y m (l;S>gYZb2cffd701d2d663c79ee398feea148194dcb4f2a78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 / HOL-Types_To_Sets