SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 b5 D !/ Certification_Monads:threads=2elapsed=5.853cpu=10.660gc=0.644factor=1.827zXZִF! ]ŗXf1-/6vRZ*_vs(}L)W뼒PD?hp<L\+^#:Mǝ"sψaEuӖN|^/GN?oW;wgC2#) y"q"B xdCO#zi/=f^O7p,38I5XOk˙Q4) (z{Dl֔p4^> |V=Xbz,\MR0/7~$6`dsrZ, Q5>8rFɼD+%-ԝ֜"Bѓ"yr/PBp= dHyKϽŚ[eZPG _) Y࿐Sr+<KS gYZ7zXZִF! %a]ŗXi%~_'+ T~TyT:Va}mƳuv;6@u9qDRJW&t;Bƞa@wr<0sA[[l>5eMf.Oa@u~(NnR*[>U:\#q<Ӿl)G+S"ZdIf4|+闍*3 XP`niFra:eP&h8nš+QrJ\dpq%YC~ȥx[b{@[~BQ ɔBEdh36Gj,'i]ުZCC,݂&A` ŔC;"ߋ=dzkEYLܹBjA]iI}Z5j0o6JұgYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 0b69d8c3f70856201e8c054bc34357b13520292f 12a0e6c0f55de6da86a2819ad3a7128396308306 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 3997ad1247c599ff5ca5a09326a165d755ba9b8b 429952f9b1ab48f5480776e72dd795c832ab4fd6 5f027145b953123734f36cd380855d6483226701 69b4d87e9cab0b856337e17afce32c08395ac7ff 79f31440868c5686b204e83e4f26f92eb8d94f9b 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 b930d3b46ef544b2e9c7801324c8d49593edd92a cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c d1a1fe056914a78cdbca5deac82d86dfddf0c2e2 ee2d4760bb726f6409c2f82a46a166ebb7485156 f2ec054802208841282d3caf8cb88ebe49e30b1b f6fb166b2f770db6828fc9f56f7c516fce351e030ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 5 Certification_Monads