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 5 dl !/ Certification_Monads:threads=2elapsed=5.899cpu=10.776gc=0.600factor=1.837zXZִF! %]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kL}/Dl:Lr\lWf ;L>,ݖGq|mF=bg7,ԕd$#-Vt2!D6 9e緳Cp(lԸͻ 51+J@HӄM|l9#V&Wi(lլg N/~;{)1p:]I[8%bpiQSim &rNY ԤÝ qyMuG <ibW8+$TtZyN,A4\YcɔǏ/Jj4` 0?9|>ЯSLvӒs{U)w{F)_o*骘Rgg0!irμdG!זE(f̭0L+n?_5%13l399P zXj՟P/y=ݝշuTy"d>^]Mҷ N1i}a*XT!8OsZq,˽: [BD]`N7hq +OG5֖mv3R}(x 6Z G%_f>` IQE gLaV13z|ǧx)w8% |r}hiBKؕ'SgYZ7zXZִF! "]ŗXi%n8vȑ$. HՓR="Lqrp j^C /w5LCC]h\nnZf}-c[K ֏-4vɦrz %(1dxy. ţ르VfX1JO*5~nYvͲ|Y;YP+#ܯs1ۨVph}75;֋/Bc\l۟}$EԔ(R)zPyb|pb'XoeC:BqE0@t?vS=+p] 263l?)8_1~$t&B BR}4f|[sc@że;UK",V e{ZSDX"i @t'rq>&i¿x!*Jj8Ao !)/d)u,A*3D+a'n9ZW( .UqrZ( &D{4RP )X֏{,~lj0NL$ M[x=Ix_r{sn8`"Hqcpl%S2w'R6wZ6+Ֆ18ihw D|$u|1Ixԣ($4-;'I8)V-7l^Ar5Sp!DOźtEcgYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 0b69d8c3f70856201e8c054bc34357b13520292f 12a0e6c0f55de6da86a2819ad3a7128396308306 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 3997ad1247c599ff5ca5a09326a165d755ba9b8b 429952f9b1ab48f5480776e72dd795c832ab4fd6 5f027145b953123734f36cd380855d6483226701 69b4d87e9cab0b856337e17afce32c08395ac7ff 79f31440868c5686b204e83e4f26f92eb8d94f9b 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 b930d3b46ef544b2e9c7801324c8d49593edd92a c45d712461bc1c63a8cd41bf19c2daabcea80b3b cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c d1a1fe056914a78cdbca5deac82d86dfddf0c2e2 ee2d4760bb726f6409c2f82a46a166ebb7485156 f2ec054802208841282d3caf8cb88ebe49e30b1bc7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 5 Certification_Monads