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 ww DT$ ] ZF-UNITY:threads=6elapsed=5.666cpu=30.168gc=1.192factor=5.327zXZִF! =]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b ^թ`w ."c -@$$mH;h0&piH{ѨϙpլFB`ˏ/MLɞ,68܍xǫAɽ/2r~.%@MJ{kJ5V)bt l+(² He8O=l1LaY`$٥Gj AqN? leƟ^ߔd/^*zO뎄'aҎT`zuC5k*Vnq͂foܪ,?M Xh(7kv !Mm]M:wHUN;/bę-"P㋠c{U.ﶘ}Ω]C WcEC$IxlϙaDMɹ]Xbz\ut)RLϹFPM vBmL|,n ^ʮOEX s.WQ^ʐbgV 3 ]F7ʩٟd-Ǝp_uϔ "sd2N*xd\NG{pP~;c02ܖ?hzφ-&>KgYZ7zXZִF! hd]ŗXiɟ9 i:4V;}A<<ګMP7f ש=,(P۝–LTU)D'Pf!Bvb @"_w9hYq龐R! AU!G~}RX_!'Z6DÉ݉+x8i,6`k+"_|싷*Q7fyQƜ߱EJpN=-|}՚yKG?BE0z^~ f?{WT)FAnRt}^5ڑ_bRVhdTM$_2(G(ïk\fdM{s= ҫg/v 1U(DK$" `ȋI A.{}E!jAQ}:i`%a`]HNa>S'^(7'b/ ^knbҴL³$^BdJF*&hA+h'q@Uv1!XIf5Iv8 &a>EOyXf%Y $ "k,NBc(xiqYwISElܶlЬ/ *UByQ}ϒm`MRk٧lUb, \ E3%9֐o[Αc[Z)$1PkAi$StDztZ>~ B{i_eO*KǏGS)QtUT{{žУ[lZ5p8&+'0