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  w w l,$ ]/]ZF-Induct:threads=6elapsed=3.464cpu=12.128gc=0.372factor=3.507zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ B4}?{*}ȇ"Dr%`&ѡfH`1#S?HtpaVOy>]D?"Es/´u?LJcFb:Bk޾$t@̕>BڴzGnDL*AVC.:)_ V.kj-k7bxƳ@HuR^`Е?du﫰+s7<:lx#ONaje:zI%B)󈀕*v g=K"CV&3'S=RrA駟4M~ uڕg%1ߖeu#2 @%!1V>+bykgYZ7zXZִF! P]ŗXi%GKg/ `桡uKZPK aSŶPg$7D!x4ƧHszѠ)Ƀށ0Z`Sӗ2p2 khlf5°?H~)ZtY-4ΣK@̭+1kXg_La~N fKN?s< mz;ɣ|?~C f4lJymƴJg+*xd .,x&!҆_d`ÿڍ^I^`b(jR`\t5ViȤ4,mKTEV% sY^U\:k{҂IE|~!hw$_̴mӍd&C_n!Lw Uա\Y޿?ǡsT$; LRù_( ^J I߉@+M\["ȵkxO|º`tJ_qۼOKc#b,gib3O~cHf45~oNԳ/Kq[XVI\4!U|iv7#Xw/:\+S Z_tc7[RBg'u9|Jf0db:rDҖ  /G} +t Β> ?fJ(t iixt- l^T!PT2)jG1*)]" ,:^gYZbf4d91c501202a4f3ea53634d4d2aa33d20522eb7a26b1aa42c8d55e21b9ca6ce6209bf2a039bcd8 ae9967269a3a23e1759c5cbea75e26d60d16ec4ad9fbe40544f94a5b10b33ecd356f79ce24c20481   ZF-Induct