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 4d ]/ ZF-Coind:threads=2elapsed=0.644cpu=1.256gc=0.000factor=1.957zXZִF! ]ŗXiɟ94/<&qzKppPkQ]v~W}(~@ txxs3iSzU%# IQf1nيωVXa^ci#.HKk}`g_9bK_hɐ4%yqgYZ7zXZִF! k]ŗXi%;ij}BW(/̯5VLfQ[nG7ѧN]axZ$YE y*z*8_PIٕ͢{<}^p 2Ѵ\10 N O|эس54aY:cpqЙZ_q<^~lfItT'!z4w:c`oѾ(8FEPZD 쾸s>X(q!Ed{st%T2 O p#Ŭ8W͗#<#@R͆g_UrGkJ#xjFs '~gYZ344fd242268a40af0c17076fc3f1dd055bfb14f7b6a06941c7f4d32a9ff0b780ae34fa263f209f1f 2df90704e8c82afb8dcd42a90638700d19612606   ZF-Coind