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 T|t ]/ Certification_Monads:threads=4elapsed=3.545cpu=11.120gc=0.312factor=3.147zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Xj̆{;o*]1Ԛ&ʤ#1s}Kjy*M`@e/f[*1'ai%noD6TӮI ;ly>}KufZ,g+ 0܏]ǫ<Ӳ8YQ ͕M p< wBM񴼴V2۳GJ0fӊlmï׺oMhbۑNE[JbntJ'd.߮j*wB"kD=LN _#Ai:@xU,c[%2Do|O:Cq78Pǰ,LXP3bR} =hYWs9 20+Jt}} fqK林%^pk*}ȖWgYZ7zXZִF! 8]ŗXiɟs}KKʹb"+QaPh0gT8ǚ XK;aYZcgJ4-UQMuH%2%RC%  ٺ&` > ӣ X՜änk V(E@idt5R/L9yl{סTvT}~qk+bCtc NSXa~*MEd,:A4rxn'h%+Sy,M&LgM6Y-h{? esmmVcPC2ӶrS;Jr gYZ7zXZִF! &r]ŗXi%G̉S{fsg (e] 9s#'G U 7 .3R< Fؔ A\]uw%_*M{XHNi\'<+<&⦳=% E_' #RxSxlZ+c0@<p4IЩϢQiJuCJpCB G֎ƶZ~.Jrܑrʀ2B-0-&5^يjiL4.5`΂ %DPW$F&T(2Lv#ze!$^abFH>L~֔LyO1 Yx#=蠜3do8Q $ }y3"ƛC/3bercgzprn^+f¤gWVVs[󀳘$'{B4;_bW苝[7_-lIy8 3'XO{iX=MB1Rś._Hnmр]?U;'s"Hp*g7$jk<ٞAKHecu^q}}\ХmbUD.jQXb! }S =DUq*`S|7܈ `x.X:+94ȥ].mz*s T=EP6p$= n lvDh8x'âIsn xqF \)nֹNHE]!V FLr4 " ljȦf#E EštMbʱ1-d`HԌ2O `pOmԥsƩ6pdh jky|AvMKgYZd9e579f223239cd7b0943e92ea2f26c3f3ab1cc578a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 5 Certification_Monads