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 XX%5 \T ]/ Certification_Monads:threads=2elapsed=5.339cpu=10.432gc=0.700factor=1.957zXZִF! ]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5H<3HX?&qO!T=?=ړKx2߈h<"~(FJBG53t_m4Q4QU[#Hat4 T BiB1;!M*Y_%;RLX:sLEҹdJLO  ;Py OP̫mw)|p_Բ򳀈:'4\0d?bE-z94*O1$HǷaK^ $:_^^Mҩ%ȮI"~E;8/pT0GO6Ր"X?ЛCR0$|z˺T{@O>cJSK^j??V~x!1ٳR@9gYZ7zXZִF! y&]ŗXiɟ|E\Ât+.*aphG)%uG:ffj:̥!3|gu;129^%DHѱ,h?^۞qq0LH`Tzgibu?2X/ jpfc^-V6־*`ooFp]4k!1/4%ƔlW96 $qksEI%@P꬈LvmN=/v\sgYZ7zXZִF! ("]ŗXi%>g{#vO%1@mm CFWΐy5emnD-}?cՃ`ht,kH:BQlD"95BޘTp6E^t"  zh U#[lB ZĺYIIaO녷Uߝ=_ZP޲xn[aIQ1/na7|T5H2!D3dwȀ;\L&}|Eh:W¥ƭ<}%{u1ĥ)A_u?w"9+ѵ*MSO7p'K;۾.nׂ\G49IHC3>ŠvhMb 1_"+@j1dhu -q.an]jl|;ID+SHC{}VDuETbKgpwz\,JZzʨId)D)̢ÕC v9ksZԕY5ی=90lj+t}QHaQ 8@gYZ81ec41c3558fa6f85b4a084de6a65545b6244fd50779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 5 Certification_Monads