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  d d#T|< ]S IOA-Storage:threads=2elapsed=1.380cpu=2.044gc=0.000factor=1.487zXZִF! ]ŗXf1-qN50^\z(Q^ bA]#H ȓbW8{#im~u`;34>"+_>\O/.(1(T6!d#*&if<_f(q|N[C$gYZ7zXZִF! v]ŗXiɟdNA\1J;?}Wd9^L ) Psԏ\/ʩwKnPZs΋|2-4QTMjGj@mvAÞ? >Y ,orB9~-ې[iq5zW+qIEJ4 OF5]t{8{.D#+*c@gpDr =ug MQjj{A VV56n AGl*DfKJf $vOEےr& {hk6+סE d?v`! d;rA35ġo%pV^ bOЉdO5,w) :ⴙLXD:%zcpD6NʭU1Gj7gYZ58808fca3c7a6617169f32bca22e30cf3b69b156634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c3 2ec0a94b3cb0e3e484d20cf2e7a52a70d368dd55 1a71bd6219673b2d76bc0bad170e2b1e60f3bd3b # IOA-Storage