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  X X%# $ t ]]HOL-Nominal:threads=6elapsed=5.992cpu=12.780gc=0.584factor=2.137zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ1i P.諈6DǸDPC؊b)<{]ۻ[,0cj3ԧDhBtZ{S) 1L}u9 G8@I0tD?8~{-kaM}M@اgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ Î+t7sABaZ#buq`I'{J}YZ7zXZִF! x]ŗXi%j)EH L}e60+"x¦#t<1pv_b$!,o@ȡN،ɎmAS[2V fuI Kqge7ee{|Å wIo'~(uZ-J:CL@x `$hAn2pr7;@iymekAJ/FgGЂI?Sg*]u;u錱Ղ77Ûx&ɊKǑS֘ȭ³;vaYBU]cgohb~߸<aHgYZ350e040cca7d94ea1718d5f741ddd526fdc49b767dac346481afdceab62c8081cb4f36756224c974 3b86e4c44d3a409110d660ca5ff3fe46430a5376 fd02458c56fae68b4ecf860bc8a9815125e0b3ec5979576718e3c98b3d08c3c60dedd9f1449c93de # HOL-Nominal