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 JJ3 \t m/ MiniML:threads=2elapsed=12.769cpu=17.440gc=0.468factor=1.377zXZִF! i%]ŗXf1-/6vR[ m; Z9a2G1B`jj?լ4 "4 >h t/]'~íj%,H>[_d{R3BǖB5;{JEC,q4*@ I0ݦrz'$Npf-CQ^%*{udgV:2@E5*6[RJ]1Vk䮌 _ ȗ2L,'qā%,5+)?64bhI EI湠?D'WR&}бgYZ7zXZִF! FX]ŗXi%6p-{B8 wy+5T.BK" T!F(F fF/pVHۑ>1oyGakXl5^C!V_ѿwqο܃w+kW p}yLH>25 YrF~Q;?{@ d}(9ރZS+Q -e*]\Şu ^n/;+\X3sJotуB4Lxe}V8,lce 4X鏫30:& L ɹQx6ЧdsE2H Xŕ'3"2*l~HS BiY ϋgx qi:5y>}6 Ѣ#-9 !0<)@\Y͖!0oͤak&#}"O4(?kz=_wG&S$a 4?܅&D0tUU ;c덍0}f%j䤁uÿhΝ:+Cnd-wW ~y!T`xܯ(,V~4N6XVSɧR狎Z?wy$5%T3*?Ah"ݣlK§W[oUXHbZ<@&*B[PS]7CbPPzdKYM/0&s :2'o͸ Iⲩ+YǷH i)\~" PI!E֟Fl%XSu+JݤOagHsn!;ؔ ٌ}gYZ1856039393c833331a63c06a22cd63386dc43afd 2966703151fa939b415652f68e324f575557fede 5ddd88c0b302c9863bd20c73fd1a0a8c15dd3e3d 62c3b3e1142af452f60b859b3cce934c6b76f32b 6ede36b043e0116e99f50e18e2ee24c7a66b06d6 9727fb980bfd781671f1e21217327461b29c9c26 defc942b0aaab881d2c132747e38e140d9852c9a eae754a10a58624abffa70fb29e1e142f00b1ad9 f4cf19222283aedb83233c990c85eeb4dc2b38a0b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36   MiniML