SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  S3TTl ]/ Partial_Function_MR:threads=2elapsed=6.394cpu=8.840gc=0.424factor=1.387zXZִF! 5]ŗXf1-/6vR[2\> YC.^u?OA~hO]>MR@^3ɲH1^樮,_ tmH8SgˡHV^}-9qUkkz>0\4ÀE"&U6+Rq9ɜ<8 ұOJQy|z<-y7. |bG7ˤzM*Q1Ջ9gYZ7zXZִF! _]ŗXiɟ1˦rnzx <@0+gM:dc|i۬nB¼ 5fw" iy\!{Lrw4¨VHZ ڼh+u]eJPp8$=n@_"wj6on> gYZ7zXZִF! ,k/]ŗXi%93=vѴhR5ֲ`nSpp< (f溛Qkۛi 1N4q}ٲW;x?\MGa"sS>fxp GcvfC)20Ezt uIXqzOD&:bHZqc5+zx_~ w qx<8p,anXcTSϫ&7Ή!P`o+ʭt׈K,N.{M9ezm'Jtϔʃ\׃2nߊA IeCH:u™ O,[vs1.h_-: &?35Q7qɁlՖZ>=8~#NS|0PnfC&*U9VӰf*G* <^{n 87o Cm84g>.{3 d='{V3Gd|zCv|oZp%?X=))`aPͺYsK9,jPvC{Ce