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 oiTi=78 od&Wc]S(/M ()`::!@ URRR#۞״L@j\(PTCF+֝ᖗӒ*Hh<+j\Yrf39q${C-`au eA=(PpJɓ fhnKF>}kP\L;CE2Ɵ˂Q߄T} 7SتINnvΞٔ~Q\A+6ImDuH2{8(lAnMaH/= '\>咍ͼ3Vp7}|1ʠ;$d3fi,kgYZ7zXZִF! 4]ŗXiɟs}KKʹb"+QaPh'1-^1qgŴ&~2i4{&&uUP1C.{K*WL %)XY`WhVMͤ`r' quoṱ*vd{ %ʁ]J?d/ YƎ߯ݔ:HYUU 45hͱWŠm//"9ktr#5[[\EӴz[*]l]۬aH{:˧p9籟N[)DARLJRQD[ϴNKgYZ7zXZִF! &y]ŗXi%B)㉍``y - @**;7밃[wP3FU{FqNB[㝦:ngm'@`ҦU<&]+4?gӸ Po q"h&at߼ON6[PlO ,r3^[[c}=e/ɡru!9T}K)DV17~q} ;T˚ Yҕ @|waF8n I/ZWr9it"rJ{ /~J>@fX+J~7_y8|/[Լ.l9 =Am`yi2 n޺ 8@U"CJni^}S-S怒'^:,_}OUc%ꓽ;v+sH)!gm/4:akNS]Q8R)\ MMV){tB)m{.4gnsfax}]\sC,GV"6ݝg8'֗ei|#=Qg/ '>, _cSpiAqETYcdqfͫ8ʡ.ָT#PsJaT%M˛h k 0I]Oo<r䶉/n2aEh?i H!m fbLf@[h>X5A6ub9Ef0"%)1#{+hu"$u9%@1Dr̊`v4g%6'ri7MȱgYZ726eadbba2a4afa01f5dd344d2c1e74988db0f9e76b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 5 Certification_Monads