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 %/ d$ ]S Monomorphic_Monad:threads=2elapsed=21.898cpu=31.028gc=1.812factor=1.427zXZִF! ]ŗXf1-/6vR[;he {r!BLF 6Tٍ ٬g+2'@WdK\Z&`UK4i@ֻGt݄ݧ2d;X0ڟI1ӵS#71SZ8"oJ7!Ѳ -RSݦ@aL#i^|c fe`ϒ)c QUS13gYZ7zXZִF! ]]ŗXiɟ.:QEQMRm}!;h; OC ݿF_ ebhs2h $5,*?)naM*d61V%t֪v{]b10݃[.CTsyj;bD>Yӽpn$R$ j9V_tYhzgYZ7zXZִF! w ]ŗXi%9*]L8ɻ{B@Eozd:%>C{ %InC<*2d4& !tuY}K/sCVĒ};n|y>|lEfbi7Ct؉7jopg)`- sX̼0+^]|fb9|jS4]$\\B'ic0rcfTNZVX`Thz>MUlnlwpE47S++h׎)gt+hY鵜U3iɒi uM_?t:|<;(:B,ykcܰ3T3lY:g%%H~t[z%gŔpQT3ZV2EmHztܺŝD u;G|?]+u(GS4lXMJHz$!hWxzo]dy̻#NX2 1iW=| >!b Ɨq C_mU 츝O\'O-01JwKAլ봮>TufUz<)R-'Ip Lf;ۉ ͉1J8{ڊ~u1M(@oÈV\e iGoy'w[pwK3G&q1׆d#FboS.W;:d,V % ;9dUcͷ=om@eF#IIm1PID@XC2WlĪ  8 jhļ-UCۦ>-+-YՑGg }?wCH>|яfw C Ck}1<8\^u4|jSbpyrn/M1 l 9:@fyRty &szmOs`(Olgj܅BI_p[soWiʕ/wN2@c~Ll6oٜ\&*2ڦ.\41ōth0+r+O_n6q\(iۦJQƃP-y~a6@9@VmUŅ-Ε /a/ L~!6 sSr&PTpV[PDIFh [[̍f C\?Y% R}w9Q#aiu/ &]PSl.+yqF/6l;6NTİN˱fch۴@j6㫦g ؋fS(Ps`"5klu dr㫝@31pO%Rՙ|HaR0өzt> e͇~f 7?!6P*!ž8{ttu`p֗kŹQcΏ>v7[gR  BoCC\ 2gYZ84df6c74ae9212dc508857ed9d977d22308c05d4325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 6732d2329c2f5f6541671afa909060fb11f34da1 51e2bfc34deb55f2a5d83099a514d73ce109a380 / Monomorphic_Monad