SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 --P3 ,T ]/ MonoBoolTranAlgebra:threads=2elapsed=8.275cpu=13.652gc=0.564factor=1.657zXZִF! ]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2U,%~ vjRB{Q#^džQ:G揄9 &G:Bpt!.v1~!AU}瓵TTaځ`hvm*BXC.~[;_jZ V <CM׮د, O'1%^wowwTLs_.fw{tHbV+/ʁ,ݨ;isK ,@ 38`TR23bv睝BkZ0y8ET)5F\;)* ޳}u N6vujk~r"Vzџ]0gYZ7zXZִF! j]ŗXiɟjg*Cp a:~- ;t0JTg3"0ed:n1`*[=0/Nfdojlj џa)S?դ(-$F3ipʬ kU4@& 'zZ+aB=S;ڏߘZ!,آ4y=yQ@4:V(:A?!^t%ym7W _@!CN\kD8gYZ7zXZִF! 9]ŗXi%>gWBNyCv\O4htd`GbÏ8j$6=>'/}|Oϝ]c;. *}7@ZK-mČw.2)K7[Y>ZWU:[Xz+MMK aB , Fu&e*ee\*{!TWY|a'vWeǔjZ1wdx~u,>kx_GA 9 npX?ti}׳kg#LU~GG $H0NvOFU;KYgqbKqGj1BqBO߼WR)j\B4.2H2Ml*85rL9YTU: :<@? !c~/f)P UF~Ȳ9|xl.K-ĮW1-SP`tK,zpjQOq86jyDBJ&3 < ˆ& (s14sG]!gYZ3b9cf25678ca3b977a46e2f4af8f005a02c9a317767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 3 MonoBoolTranAlgebra