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 $$Y5 4l| ]/ Certification_Monads:threads=2elapsed=5.464cpu=10.732gc=0.820factor=1.967zXZִF! h]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=Ԣ@"5 o@+sufKt.#!4p_[wt@LLOV9u`noQSa+DɸotPg* B*;O!c.5@ oIjKv/eceb0@,hl}hV e|m}a/'46|P ݜ_`]b?AɪT;A. VO.iL-rf|J!މ]obdAN)?o؄404ubW_\ U7MU ,HD*Ta1dv:D!%+W$yA{c[YO=IOR,@U?ۊh6Ή(N]6N/!ٱgYZ7zXZִF! y-]ŗXiɟ|E\Ât+.*aphG)%uGxL,vXJ>t^ )1<8 iwK5| ^0'މb݁('@0UX^@VMsi5SQݾ_ zRƹ佨KKo?s/hXLNzPg*Hiszhv "ư+2蒏a] eFZKg"/Fu@,5Vqk/be9 妿DpxJdNsY(G7+:e 69Rcux rfrN5JJ: >w?R Ϯw]TGlx:gf{pM Dwy\`{?ϾU>&X+_2pyZa.C0!eکZUCi/0*Q*g'hEsd$D+YLlTpZ܂KTD F < v 7-UѡԖ,Q(MHӶ\P2g(j܌6W .s-&I\N]*RqQUR"_౴lPc?ρ|3Piz*ɩmsߞ\º{QBo)^(6cČS[VrK ?0{ZYùN9O@ݜ f\'cgA o* "@KIk2(w NّsZO٢h`s"dKw"6Rۏ>}Us`5Oj¸ō甏{VC%vkn9iQoZL=w[f25kLdiR_r,x=e}F8m@=X` BfV-}GBgYZ53fd066226a981d5fc5398bd37daaa22904b606b665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 5 Certification_Monads