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 e5 4t ]/ Certification_Monads:threads=4elapsed=3.166cpu=10.124gc=0.316factor=3.207zXZִF! T]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Uwk.ʨ\HHCެF.yy7'AbLUjwaɓGcg37ok} z\E ft<|DS?,rD\v_-@^f~g(f <Q/&X]O}I"1ybř1K۸m~e8+!U=C.+o1hiʨ_Q>MaN+^l Yv"-fHz"rSdPuO2>>NZ"A BYW9\эt?9+ w1ldWfވ-wXx$Txn>TE7@>h3pG80'gYZ7zXZִF! 1]ŗXiɟs}KKʹb"+QaPh&e08bxmhX1cL>ͨ ]1s-*q~gOսQ&+Wto!*t8B8-P&pΐn \fOl"5^J$(Pkj@̩-%rHlnQXQAFei[]Nv{nةV|.kbcM5)x˗4..WpO50=:l`n҂Il~ F Gy_ʽi WGbBr<ZUgYZ7zXZִF! $ >]ŗXi%GV mZ{,~؉N'ղ=4ÁLL„dtUI"+ЏuCp={-xjCS_ -^UDn{R8rPSudvz-$,=]s{7PDk_zI#NTwt}$L~v,x:{|T1dFf6˝`-ϻ0]Qՙ4,a#r{Y. tΩ+{)2Dli݋C6GZ{}}]pQ:lQ1/+Yv |pʕP[\E&Z,Xg$kH>eIY=o"=2hmֶezVuJ ԭÖ؛s(}WmV eSY6Rj$i!r~ƽdj-E8<>/r\S}ml8k}b D/\=7Fk7“fzF2kRvaMF> "tH5ibݱG!})2A,r~%Mzw UP̑,0a)Q\@3ɀ-j)I.z[=ܚ™>g.uEwW< MYVI>YѣƷz">Vo嗒L0 e0_/KYӓ`jjC,~k9ÆU(HvagYZ544509d6c66334b12fe57510780a17cc9500d6da4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 5 Certification_Monads