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  ( (U# \  ]]HOL-Nominal:threads=6elapsed=6.017cpu=12.748gc=0.628factor=2.127zXZִF! &]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ1i P.諈6DǸhڢ6}b5{nk7m45ˋ9KpO`y$is?jӖkbFXq&h;>ýw ^GQR5BKy7"=l3rr b EgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ Îd16.`ȓ4J Kfh٪`I'{J}YZ7zXZִF! x]ŗXi%90yXu _#~fu>ڜE0D(\m<߻RҚ @sx8,@oCE 0[B`T܀@Իx`:?v?;{3X2MP{Q{}5; go 4as|7lx;e83fu(_.}Z<.BgGuP)ֺ%4ݥR8XlM'-w'K# +?VsECڏ P' 896~sȣn$2-cPIjҕJQʽoJ%ixs=h2I]_EOAy 82 v0bB?10yK4+FQP/}V=]Hf-3❅ hX1S-&9Dֹ9}bNmNYQ Ү=ȩb-"0gǩp*{Xj8}fb J99 %?\Q` "s򭺣S Fn)*enP&q_:)ڥF(oi6 tjn$6G/#RɖҌX-2vJ jPDzXBR%EAxJǾCtuՒoFkfҙ(`4\u7e< =o2>p2nMtP.*~Hg<GPgYZd84a5b4a7212397d7218099fa1e6d80ed6a2d24fe331a8fae316f048422d7f7fdc239a12eab41778 1cd8b7faaca8012fb544c442bba2fc3cc8a6a56e e6b48b35ada7e06f1992b89ed16ac9e19c53d3218344f129aa817a54e01e2ab806eed2ee226d837d # HOL-Nominal