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  O 4 ]/]Ordinal:threads=2elapsed=3.341cpu=6.128gc=0.328factor=1.837zXZִF! ~]ŗXf1-/6vR[$ l0I/O]kPJ/iC'GW?n vmuH9czn#FpҰ=RC%s<2d]Ȉс[ܥ-`>H&pGvI6lXxwv uc28BVbeߧ$+<=u7!m- _!ԀhÊ.#,ȱp vb;(& 0(Ř v8x8=DJb> ^֘^#CݡWBitcqؾdՠ8|Zu9zAB7e>mo Isd=ͼ?a>}=>IѡitA\uWlbN4q_}e Ɋjl-}-Ait!GG?3|S/8A @Ul687ԱgYZ1e5b595f5c088fbdca5fa86ba8b35e3af37018ea8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a6e62cbbe97bf8d791782dfc434c7d2c1f9af0d5b   Ordinal