SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info @ @ -Tl KBPs:threads=2elapsed=158.197cpu=243.308gc=10.240factor=1.547zXZ ִF ! ~d] ŗXf1-/6vRZO!0؝L&{A> JJ"%G]6$,mX~GAc#3\Fl\DV2Sҿy)%R(Ŗ5RnKlR#2 ]b*ӰM0(H:7#k4g*Zw i٣ K 5@\~8I{Qyl9`Y.쌭ٜ S){4;Z 6wFN3*˹߾/J ̪E?õ!Ta'6OZh/~+,d!5=>u'q}>Ҽz7$12ۮ]rĂi{7`P'8MV$xQeT#m\Cʻ]hhEH-DZbq99宂p/TK.y"?#j,@rXFS f3ۋy?rhe_!X_p :# d5pې,ZڠXY6LZ/(AhH2e#Jm0t4f*idTNMBJ`4'Pm&X
'=5?<ֳ:y7^`>="f6a7_lA E&w52Se9H441&g