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  #  T ]]HOL-Nominal:threads=6elapsed=6.347cpu=13.320gc=0.672factor=2.107zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮzP fmk!ZiKE+3# 3.xIlgK.)6:QdI_X@;B~jn2|ۥE]푝af_XG9Zv$XM $MsUZ3EhWf>R;aQߣ qsAq`,\m;b nCgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ 涵Y s ;u1Ip `s3T>=w`I'{J}YZ7zXZִF! ]ŗXi%;P_،mBiL 9hߔeΠ9@_VM2A lT5?z޲ì){/$E[9Wk_CfO麓ZC(R 81"PY_.zH7DLM2Ootime[KV@ ui+'H*gbcG!1Xq{Y`瀌AL*>wD\l2 V@7 n eTDsnA*gYZ350e040cca7d94ea1718d5f741ddd526fdc49b767ebc77e06d0e52a3d23b989ac3a5cdf6ba4e38da 173ebb4f87bc782b63cf102fdfc8b061631d5b0f 39e60d5dd3a8625aa5f685558211aaea63c973dc9f26d382b3a326ff44c352a44ee250129a0969c7 # HOL-Nominal