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 ! ! \1 S/ Roy_Floyd_Warshall:threads=2elapsed=0.657cpu=1.032gc=0.000factor=1.577zXZ ִF ! M ~] ŗXf1-/6vR[OqN>>3wcWb>Iu3ƃ:ZGZy-xhoIif yXkL2 GiU0f &쾕/L; Fq ױg YZ7zXZ ִF ! g] ŗXi%6xs8n^F!#1n+L'Hެ|qe=W!z4ȓ5.gJ/Q~ f0y4N)-nݜQje5`h #Vű&ϿKJcbA: c!q@[PO R~/`R&0HdBY껝zt,#v١۱eo{k /':$6ڼqˎE?c02wgjyx0g-$>H)"xJXL#?Mw`J