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 D9# D | ]]HOL-Nominal:threads=6elapsed=5.914cpu=12.440gc=0.564factor=2.107zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ եPTTl@YTMk0S8IJ"[Be@6Xo!.LEP)Y1Çh:z6a-#hN_0~(3I }`V\00, Bc[GtD( x1bwm =gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ Î i(HI.6dby:Sq@Ei6`I'{J}YZ7zXZִF! ]ŗXi%92v(^0 <ѩ%e?i1vcQ!S ^fCPZ0+ g6s1Y bZqtaP xg%[OV49T6iLa m?NC^j膚V#vK/=;!IRWmBxXD?6j<+ ^8PWbx`LڨDwgGlU;v}֌~u,/W21EIZOǾ묫šRSG.efo/݋sBvf}uV8e3 P'lTZh@2 +a[]b gػ3JP:RâꃮrOr HVVd / F=2'!c0Bc]o2 %`.67ƂxWJףo#i9/oEX8gYZcebbb28d280e7ffcf0eca7b8ee58a428d92efc40b690dd9b4995811857c4fb640c8853723b58ff28 2f035b4a19bddcb32b1e2a5fd47e81076fa7fb4f ef28aa63992d38cae790ea067cfbf614ad2b6a8155cb6cdcec4a2e2f5aab2887fd1dd3fc358badf5 # HOL-Nominal