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 ==@ T ]/ Menger:threads=2elapsed=11.135cpu=19.976gc=0.616factor=1.797zXZִF! $]ŗXf1-/6vR[Ɛpze-&+9,ٟ8cv4LW2\ϡ:aC1m_ _$;(SuUgA_ á&- ڊje~SȽX}Ir[g,ƛ5!W2Rћv&]D5_;6`f#a(G߲,[ &/gv=! ː:ѕ,Ƴ$ ]>g&vJZ}j)'2r+L]m@7+1tq==1+:8ϔzpE59vGׇN(m&Me<ҕ&''IMglKHl-pBGjm@$#*d֜{n(9c,W}ż*ƸF%[$M+>,hc( }'{\|@ظ+.8%\:X7nE͑?&=]=>3delaN4(lGX|4lZFSb#~ 1[gYZ7zXZִF! 3]ŗXiɟ{A]R90⿈V+CL8`?_upke}SÔ