SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info g T< E Codegen:threads=2elapsed=9.631cpu=18.976gc=0.656factor=1.977zXZִF! ';c]   CodegenŗXf1-q恈͐7ӺV -fw0w]BjZjfʖ+hzqN2% };((jPO=o΂֤"xQ;: j5'jIxr};=>>73HCuiӲs*'6IN3BD`=TS[xa,myNA57#m(aDn|f!J]g'\B GAPh4'Oaѹw?1ٴDWFw#y+sՙ:Ch ,LEJ#?Y\o/rЇ>A S_QD,!-T+ZK_%мVٯGyGwrPNNzex :z`}1zP?$MȝӒQ4g0.E_|S GҊҩz~߬|v=Un+l㑊/9CnGU5q(V]CZyQ2w}F/.#}UiBOFK{֌@(!}q@o9>/zqEgL_ruP(lўI@S6Q=[j??9ri~J&7n&GcB0N8m},ZxksŴy/E҇P(ȟ7Fl߱ 7? Q>% v_3]Z|جtbԔu>4rz'K~1+#`C&c1lZ ,7 :zg|uRLN8eA:gYZ7zXZִF! ,U]ŗXi%BՎ$qO#..qƤ֖k "DͰ/XZݸZm\CB #exe;9SY߇ U9FC7f==+lx1&xv'<K7 EZ-]:!zAk!)-4XN|rZ"mZ£/5tgdKdZD$#7wAnքQp!*X9lt ?3N$es>/ )`Iԣ\wJwK&I+#(hA~qZ+tUgXj*m4Մꁩ@#h~? @U*^DI"punB<04( )ekQ趚sI;T ['}W8zZ'q#~6Kіe.y/FT'y/Eҁ6zqbMr7ĺYN׈mq=fBYS33}^Q%g-d; yI)xwm@D5Ooc0d3~xo7J7Ėt<9}'"h9:T,- oxkjx!ex P85.u͌R.A!i Sı,;sw`E';3+`\r8OYr>`:+6DFfhaj9L  lBQu*έ/b6- HGe]=r.BAyYN涱gYZ1450318564ec5ae381a147a236be036968537a0b 296993b783a6d9569ce1208126a268cba5c0594f 31755525071793d62f6b61cf93fb27d5793a7c4e 35e7eac4b98b099364dcbd421c981abb035e4d60 397c35819dc7cd2d2391a71fbc63e26f708923c5 44baec093d30bec4af6ab8a6da185f226cfd552e 4527f46c057bb17c7846808d36197a5061922fdb 457d02a572a0fdf5e6d683531094ab0706112941 4b174e346e2b2ef68e63381410770e342180497a 5dc9340949395563724f9cf409a41f8a30a033c9 63d6ee3afc0d93215fb684f7b8e57b1f65214f34 6be5104156dda49e2ca1b3f36a3b90c8f78ef6e4 8f194db846e67a7e87b25a27fa8ba1259c4af82d a27f8b981eaaeb1920d9e75c995d1fc3c50cddb5 a634d2977750efd14daaf8018feb1fdee3310b68 b549213b2aef49e3da5304ab78395d90a826e17d bc5569bd98f3bf6b9d8aa1009b2cae51c0d299ce c5b135e0d994f1f2cdfc35bb73356d594b9a2437 d9f64bb6725d95eddeae3e918c446ae5c078d4a5 da1567c528c0591b76c11bbf612dc90f71ec564d f0fce7eeae1ffa41a6f0691e21062958b47031cc014fdf73a0b928fde39c061b3b448884e65fa152 f4f811683dcda440eaf96bee8739ce28e3523afa 4d14b8d4bbf9031b88f7b092372c033f6cd08968