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 / Tl ww Monomorphic_Monad:threads=2elapsed=21.095cpu=33.028gc=1.984factor=1.577zXZִF! 5]ŗXf1-/6vR[;he {r!BLF 6Tٍ ٬g+2'@Wdꣾs| 7Ůr+4]9#oݡIuIQvb_L#뮯=v FK*h81רBG0^̗$ҹ/`ڛOPX>*@b9X8̫RBvScp*f 7c,ӯC#4TM]^ګpEj\gft<,tӝ:/E]u>=sŕ>y"TҼ+RCl*9N̏Lh B2v@6չugz;q )(V8} vڲVU4N/A=~gYZ7zXZִF! n<]ŗXi%6g7圇aaӍQV)x-KXf08g|M 2k?s 6`o:Ək;Z~x)%Giာ`HB+ѫ=롙t-ћ#]c#'6xn<%WP?#@8Xh/ukMb=OKaRq,餛KSƥѼvvpmg^{ t^XS\(lHGd6O;Edk.";: [!ә{vxajՓֆ◪=l?koq}?(Py By-w˚⌔,3ʫ˸酄fF?P2i>y+Țp$luE^jeP^*ׁq4Y|W,2 ^LJHtdZ9&K40Ȕn[*g4 7(GB'COPo [X)"!ܾ@00gi괊a'{Z'j4T-!R›$S+[զY[̔SWK0lFA y'Z$(֣i4]]SB`dJ!O+z5JP5}}ͺ N9ҟdhxVVùLq%ުNh&z[SJ@i- <؈Ÿdb/hwӓRb#)pmuވpeOО'V} r~g @d޻4拍ݠNsbK1bMqB3e cj $ B?Y}y[ ٤s+se|}Ȧ~YaT'υw V5JØ3 -P6A$Oe_۪`wLxck^%`gKY9gs {)ȭ,0ï[N^(TO Zr|Q&w ޞ1קH6 49_80p0K( 9$I?Ȳ9RF%!7 gYZ0ee64616e37177565479368c4c5f56d374d1d53c 24837394dc7825fa09c8fb6cdb11476fb0500072 29faed5f22449255e0b21ba27558435b9a4a13c3 31d068e04edd0d37788cb94803f5ac07cc317dd0 d83b8216582c5d394a8fd429e4a61f1f74d230d9 f819085086da7f5b6a4a45373915100bfa5c0514e4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0f 4e073c8ca9995e1513fd8205e4ed94aaafa60a26 59803954f05cefc5f62ca1ab8b43e1f15a1eedf5 0c69e7ea9e00de00ffa65c0625e0990adb806646 / Monomorphic_Monad