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 OO. |t m HyperCTL:threads=2elapsed=16.237cpu=28.196gc=1.440factor=1.747zXZִF! ]ŗXf1-/6vRZX]7b@^GaY\K ڮ  oW;7j]wѰ9M.ގ OXŬ:߆QT E(ڽlp+9d_̳|bzvCra-#^$Gkk9x*xU.2ty&S퇕QfS@,&Vj VƴtPh4#-K {j'&z-j=Qw XQbdgC<oe* 4d:^"omhu~`@il=f+qZ%(7n~`Q݂hvʹbl>sNν'd-ȗU3 ZL&V?|E/nZ< `7cQV񡡘Ȯxn2)xdv3?SމL&lDauq)>%ʘ`yâgYZ7zXZִF! V]ŗXi%6SqUc7vdz 3QۃJ] [׷BʰXhϥۻD1d;1%0MwL}B}*;FId>C$\{`G3v#dɱyWR8G;y{&:PXG Ft0r|8`H64'qXƊ1U*TiJv+7A< ~-M7G3qz-_;md'Dž \VFFz7(H5k)U*~><6y@%]Xb7*$ׂq_V>GԐR&W 5`FMQ6VqӁoȓˣd 1B s%],K'Ck#S:Z̵f!.'AǸ$#Pڻ?Hk#Ǎ 蜔rXTR{(!Uc/(9"&4q2~~6\Ξ~ aV8 < agH}W9