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  1 1L 4 ] Skew_Heap:threads=2elapsed=1.501cpu=2.028gc=0.000factor=1.357zXZִF! p~]ŗXf1-/6vR[] O.&o ;! D'9?eNPƙjVHȾ#g X:UVzF'f-mgYZ7zXZִF! ]ŗXi%6qW ൰fA1i¶þE$[MN0h5jpIٮ+]0bq UiM:|.GJu%Q8oCK~oJE.VX~g6M3qVR \+?H[ΫS[ȨkM(Ϟ zV #mXXG^`i+{N+-h`xÝ;*o jc̲tFJƀF,+H6ܚ@O=BDD[1- cvS`E%H4z h