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 5 D|d ]/ Certification_Monads:threads=4elapsed=3.607cpu=11.188gc=0.332factor=3.107zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&VL wʏ1 q~LH3>¹8Э1_GPh8E $ˮl =(?kșuMII+QEz~)Gp/_ (&,HnDĆG-֗ڼi 4a¤ыد2Lc5G{V%~d-G)+IK|4*Ygִ)z Օxn_T%;_v!Kͩbo\8`-6HN4Tem,cP+ ![z =#ˑVYTvϛy+-̚gYZ7zXZִF! 8]ŗXiɟs}KKʹb"+QaPh&Xq5f "_$}ӵaDk"hXUpOoWm#*93"xEÎL¯KvtwrX{h_;*W;- i$}`7gL DP\&n9xRn% vrFH"5Rpꡅd{w`Gf'ЍDqS$^Bӎ3v=kKz#KCcGs6a gYZ7zXZִF! &i]ŗXi%GqfݣT,gVZ@-e&ԙ|lZXBs޺Ͳ2f߈>V/_ ĊBOP>4 BbtZAf3o%q꽹D!{fBH$-2sp>ը -fw3$r5c)!ʄiHn>#Wb8|1;f(~hpEl|1+"r![;Bd3N h%>{Njfuڀ5y{1b)™$W糽{;, Ö\JPYRZ(|lO,w m %,SLF:ܰm{mĸ~hT@'`Q^HdLݩ+>}Du(O:bre^pM ѱgYZ7fe7f656450e37ab669d94c053e72eb556a08afb4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 5 Certification_Monads