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  , ,Q# T  ]]HOL-Nominal:threads=6elapsed=6.268cpu=12.988gc=0.640factor=2.077zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ1i P.諈6DǸDQze$%\iV`wюhǙ(ʡf|5?V&KMJol(0szfv2񝓨S 65/")&6up*{LUF +%7bhqUƿ 7ԱgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ kH(@~AݖSуg+r`3F6*vtz`I'{J}YZ7zXZִF! q]ŗXi%;ާܝu'o@E\{8,g, cP0H%V (.RRNI$  SwHe]@I hR=K҂=9v' ؤY}*NXܾv|h҂ڵE"R9EȲtb9dT/rY廡Ob|]MqKVי4#ߪfL.\_CbB^<~gYZ7005f7d54a59df134591d9d0eea15d881ec3ab22ed6caa966bb75077c120e012673453f69d500802 269c54a80d587c3b365ca98028240e5f8391db0a 777cf8dd54e76baf8f45a139697e479ae8b5c1b1ee18b5c7bf0f7b820e98950970c14be541089578 # HOL-Nominal