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 J5  !/ Certification_Monads:threads=2elapsed=5.843cpu=10.788gc=0.640factor=1.857zXZִF! '`]ŗXf1-/6vRZ*Dc,T q}jX,q~yĎHA'? jXu< C炖_|!XAK>ҳ̇SVUʇ\e%$4aARTcD~^t.3ܼ)ДkkԖW'&cqҳR| Rv*!oEl5!»^\^ﮣڽ7{*Ѕzr(&~TeM6tjKRo'N <{pڹn rPEo!k ڒ®"tq\=ߑTUS ͗hɣE#}R?B XsN.Zq+R4kJIv[8i.MZ['?EV bэ";S}Ka \ǹiX3aܩ3I ;X[o}T,98^n.lsɈX+N@D:FNyb,sna7a!p*FWʆWTgڴۮ͸e.顸@LE8i) GlFdP=I>?D;:seLNo耪CiFV/EhE;xXj³^.FeD-tDi{N!!q)^¡A7NO2]h-TH>節ܨ \,oW9#4 ǟ'g'dڪI/$By XށV\1WU9,|ȕ@itR]^Fl$4o+٪  - g:@#M!xa* T.nt;ۍ! Мlh 2CXJwiRt?]yRDczJWO}ٶY"u7/tp](*b'$-glr[&4*Y(mjbB3%TƔ}= W=J iѴ&Nۢ5gYZ7zXZִF! %R]ŗXi%s{v?CƻGN[eQ}Gt}O]PgZ}4(Z(ud\YfB>3[ugOO)ŤrI]?.AnװM^m3N>RZ-Hr. y\VxU3V.`|3׈m: Tg8*@4 =ZvaŘ< d5L袏i?d 4*:pr\ ϬK"4ȎJH n"Lr>e%ovFWkanVyO` 9 gd]5)|[*OamuBS5ߡ5wy\RfR,rg_ꈇRn BOd)7m\*Nȩ"L C4(׋vpHXL)0%Ph-An\cźB]YW$b_E10r fsגc<48)nimϊji*.\CЬ*9RymF6ƛ0>0 , ^{ɿ;k(dOL#opχw+O߈KBunVϺ 0W=u=Gm/ B,_;|2rYRJ/H"gYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 0b69d8c3f70856201e8c054bc34357b13520292f 12a0e6c0f55de6da86a2819ad3a7128396308306 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 3997ad1247c599ff5ca5a09326a165d755ba9b8b 429952f9b1ab48f5480776e72dd795c832ab4fd6 5f027145b953123734f36cd380855d6483226701 63fb3e79175d4fabf98aa06a82975ff4df23868f 69b4d87e9cab0b856337e17afce32c08395ac7ff 79f31440868c5686b204e83e4f26f92eb8d94f9b 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 b930d3b46ef544b2e9c7801324c8d49593edd92a cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c d1a1fe056914a78cdbca5deac82d86dfddf0c2e2 ee2d4760bb726f6409c2f82a46a166ebb7485156 f2ec054802208841282d3caf8cb88ebe49e30b1b9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 5 Certification_Monads