SQLite format 3@ . BBh77otableisabelle_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 hh5 dT\ ]/ Certification_Monads:threads=2elapsed=5.319cpu=10.344gc=0.732factor=1.947zXZִF! I]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo= 6 ne?z 3"\xN0qIғ>ix[Ǵ%QCD(7\!'no`m9.J4Q>{Sw?@n]6w+e^֩5sPF%:p6/r}Q)yZ3#ec'?O~t aKt'B ƽ5h7&Ui} d:"Q?}=oع]_Âۡ`-ƥ3ك\VTXܙiGb*UHN|a%/CoOJEkp8!ey6}gYZ7zXZִF! y#]ŗXiɟ|E\Ât+.*aphG)%uG%v/+󄭽91fͳŠ&&_PRņ%o|T;:GK p , )^IJE+ ŏ%k)'sș!SVK@n{n4/ڳݖ0C*3nC.&`F,jne D(3h`~Tv ӻ98T_{&֔#DuD }!{GJ$l_gYZ7zXZִF! ']ŗXi%ύw4ɞ(2d[C+Vq٭::iYBOj٪H1&զXjHXha?gq;ӝ#<D_&[~|Q$ SvBfسOe F8VZgt:mr#'GKu}Ye2t#3Mîy3/;CnM]Dm^ClJb 0(V@Bg(1֣=ߛj<Y {'ŃIDh"\ \ %>*`m!'`4 ˤKf@1O {J[3/zV. M)9]㯱I5 ΓQk! 1`+,:z¨c0ɇӔH>gRڢW{d9Y΅AuQ> 7*[zADV WUԝ*zTCss`ROfY -; `xǹQB/'\ܮ :>z({TȌ4UgN@ň) eϊ$Z]37G-Pٯ%-Tg} Άh8[OW$gYZda3477e6081fe74eee2337db7a4c7da58107e13ad6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 5 Certification_Monads