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 % 4 S/ AVL-Trees:threads=2elapsed=19.107cpu=36.424gc=0.808factor=1.917zXZִF! s]ŗXf1-/6vRZ\2_:oFEQs Q7dn3~~LRhE 9#ژ]}z{y).Fe5J46@>4ӊrդ![ۤ%oOqykk\%J"}eӶL {J Z$Vrӝ CCfZ^t/}"b @.Ӽ+εrZ;+J\Ub[p #]1YV f!`ބAo8CⅸerUv{1GHo6VnG} 'L &Mu@"RMw֚*hfِzwi($t}-j#XTo$upt7|GSg3o+ΣLZo?A6Mr@LkO-4,'ǻO'ɚzdr;r -|bohm^6>ڬ+5&UVQe# M,c+y.i*`k}rsW ptl1pbm|l%ӟeUI`,#Ǜ6]@t~k+)gܬϙlUe9 4"/kДFqf[II}bg8:ؠx7oԓMI ;RGgv.k'*l1I9y!dю%+l2h}y<4B7P"#r!W.n؀\C.̗Xp<٫rU*HkVnAT;^ L➤&Zc%n٠9ۼ65Ԭ{Eqe`$b\ h9xm+LnRxԇ8#<)7~ 6;k,c^f? DzM'5.jiq]0&'It iO ~> }8Lܐ7Xq.MG|#|VCeEn88l(&Msîlakr%6+.Z/