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  0 0M# < , ]]HOL-Nominal:threads=6elapsed=6.361cpu=13.148gc=0.664factor=2.077zXZִF! y]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ3oTTTkeը&)ǸDQv}4m`t : 1(Q=UyeNy QT.v(l~}+p4,%!̟ދ TH$Jq[>OMtߡ76a}g2zAgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ v@~QunNLmO26V@_#Tq`I'{J}YZ7zXZִF! x]ŗXi%;Wg~(2RZ-&AvS,lIw{^0Uֻ-z} ycr3n>"գh {ћ3F%Ky0G4pTs7DնaS8GL`΢ߤ4ǩ? 7Բs&ѱ[J=Li&!_aR^r^[yJb϶}4p;-}tr!CLM-i-Y-W:lЙI"Pa"l.|2{Y3,EĜ<[0Vֻِ?&+&Ӈ Gd /-{G(Ubצ=Al yh{ۯ4GMW7,n,R} br@ OAOZ?FI\Sve sU%QLjΘJ?/{R95b>cP܏%Z۝`2` wނ@5tpUV0d}3-#zD#.KJq +g{G5Dh b2GnErceycE4lBCQ<z֙p˜TgYZ9ab5d59bbcf29cd804acb81dc32bd2e108385d23393fae3774b4e564b1026bf200bc8a56a06c6d90 57047d6b403ca17ea2fbe0bcecbdfd87177ba07d afd7c40915b576ce0b4a18207bc1e0965b8b1d6506d7a4952726ead80a02ddf681d63080f7e15b9f # HOL-Nominal