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 >>?= \| ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.998cpu=27.080gc=1.488factor=3.397zXZִF! ]ŗXf1-q恈1`VnȆf ס@wp  қ@\]ϭ:2[cˬ8C %O`ڜ:>yZ2;X=<ʰ2Fy)x) ږ*%WE/r Fv ew|'5fM!ym։wK6>,hמ,_0Sa,-͸!?KW7HCrW৴(h( UG5X;1BotkynRx88 [G\ l0ZM1@.™z u]=_&3rm0Bb~/+צU⃸8V)/B?*砮6{*&Ar@anWe> YE3Gӯߴs.ve6 O3i}k(9(!&d%]Yѧ-Ku`5< ",J hFmo|ɳZ1gMr>z1B$(D$k/8?өs?7$s [ F ߘ ћ"sX瞍/p8hk</ӽ8~|0l >ޓKD0=2I}I"ґuϯǚbV_"?܁q2_*Y!A%:L8 &4)w͈ Wu8 FNB;䟰j4WK!OQQ7t2zLZتB  ^