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 x' tdl ]S FOL_Seq_Calc1:threads=4elapsed=5.531cpu=15.704gc=0.272factor=2.847zXZִF! s]ŗXf[&$p)q9{=3 ӨCz"ж'd uhtĎ;ʧRQq[;zI[ :4Ui9~]zޤy.ޞ!:&阶pTe[jcu̴S3?G1iݲ~ Jr.s!s?)Thww1ҟ0-h)GoAۊۛQ|~ %V'áLJnI8(DŕƋP"鋩p te Dq(OL炧.OZjgYZ7zXZִF! i]ŗXiɟR}JoOp&|:F1e;u*hqc]5ݯ> Qaزb`vINu/2-!:5 4$egjQބZ": hhthsa{JQP/>wn7scdlOr"kr~AŴB~~DN=G'CZ8z 7y Ja6[η_="yRHpDQn/(f"9GKw"ʄ&XhxŰvdhTc7 <!GͯgV4 4 [\,,B8aE򑕖ׂ~,(Hޑ@.=QMGS)e K+$B 6HʒJ'mhj`raP*:"8 Os(dJ]Z7WeKOr `YΗIb."Q;Q7 3 I tMMf;#&c_" 2xM"sU?WwuN歮CPPtB OeKRchO5t EPW3Cn I (6.{4{SOAoМ7Rl; \KN%{1Q3o[=OR7i[Of8zYfp6]Э@ROsٟMpSHB#rXFRCɾ`=v'@@?א,g䴜9g:Y~3-zkH>=ll{5d;"8vGuC" N\mpf|O,NEX'{(X_f4;jvߊ_ ~<6Ђ<;x y5^pZ7Q˷IUd`_#ŴbU#JH R[IJi8gYZ22cdf313adf77c085bf6bde9fee5aecc7a3db6571795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 7fc961cc80e3fa14142bcf04a0c8827ebbc701be 2e212e330eff4347c11395f3db892210ef150fd1 ' FOL_Seq_Calc1