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   r |,l ]/]ZF-Induct:threads=4elapsed=4.602cpu=12.484gc=0.288factor=2.717zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[W+(#6&R%ا "g{'˽ 0|:ߙ0L 7gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەx 77,')HF:Iߒґ DBĶ\y~sF f$1ChVDe\Fҩ%}B9CyݙuQ0] 奰J9};\!Q hSG@7U^q~x d$w²<]*oPl|K7f(pmb$# D =|-( cbykgYZ7zXZִF! 40]ŗXi%G̉I)_w4j+K((g #k@W5}MdrZoAŚ [LQaY@6bqܖ;+5pDr1?<8LMa\/ /E{=z_8 k{1%d~1Th;mn%`o"_z /ꛮu6 5$CSRfqCK( EXuCHIo[Bl.MG_ngEiOm,.0{0E =v1Y؍n۾45G^<'8Սʼs|S.LYQa#F'Ͳ8WS&s5ՍC QvTO\.*|wHoX xkK5C!d{m&M_ٟ)\AthB b EZ퀱z?۹$O:zɮ@-: wЭ1c!StE㒏̀E=rB@x ktĿu\9؋-(DzZ<C 1emp3 c 15F-$m8č q-e >R ^B