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 ((U5 YAo=u1n5 o@+sufKt_,wr;H V&I&=O!d_16@f+b~zYgFwH@v*n,fbnIa/á9U96Br`g(?g yd"e [D{>~y$!ܐA rȎ".IFүP=tziEYYTx/zȩ٦ߛVB|T&o 7Ih&YF0xX!>fW ,-^8 (#'_cUsp-=أ> /1>43!3wu\7n~QGmsgYZ7zXZִF! y-]ŗXiɟ|E\Ât+.*aphG)%uG+lCc8iD~jg캃}76^-A+7~77D3\JbզVcwnXb)BR$ZQ+0+ZsUU?Ϻd~C}˜#ڐ6lټYWBUqx&!/!yԍ2[0G`l4_XsM,.*]+׉mFRm;ɨ5HO9 B$bgYZ7zXZִF! (.]ŗXi%>g$Ph.jBřF)~\w6 |x%ZdϪtLqJ8]" p^9vogt9!a{ hN|ɀZ<.Q0*;4)90e5T6 ]_Noe^RlIPW`Hhg@'o衁986ŏ ' D¶)ͪ^^:*e&s*!WKT{?dNVKW~Vu8d^q~౸6ʾsuT(lQQdN"mmwb3{vՔ߭D}xGiQ}| 8V#*fAι؋;-\kj#cĘ?je4T ^3vqPTG+ȁ.[_wx]uW᛺GvExlO]MTL.J5a/irUeb.[ژADWǢ ~3)1C`]滜У ʨPB7_Q,ovfA0ܔIj Z@ߡ˴z=zȽ@ - '>Jt-RfZ}S@5lJ77/Q3 :|rg#g; ^hm?cnOOf~i[X85$C~N&u12OEQ)2z:;oqZ<$L9dƓ^-AɿOw6dUh T%_t;Gt 5rS-RHQgGgYZ53fd066226a981d5fc5398bd37daaa22904b606b665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 5 Certification_Monads