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  L+ T$ ]/ Verified-Prover:threads=2elapsed=9.160cpu=12.328gc=0.380factor=1.357zXZִF! ]ŗXf1-/6vR[w?q2F)4|*[X\>!~&YT̐b\ߛɿg\r |+Xp/͢,kum2_h_$a su@̜{([Y%q`tԃ$D2FO{.BlUu~USw+{R{2_tCQ/0>Fb?!*+]Ā'jr=/1 CgYZ7zXZִF! JG]ŗXiɟ@: {GXjWwPAz_2{@Zq|tl̓cKWX}YZ7zXZִF! 5]ŗXi%6\V*EUaZ{nKVEFZQY*vL IUox+&:Lő?j ;|3IbƺphAۊAU$x^O}K55dT.1C\?v z0Rag$NTe~:z|Fh1_3x]]:lm@'ֻ5RVv9.dKx—H6#7[nhNpcT[}d‘{ Ua?ݭ`Vɑ 6K)F@aDvdՙQDݙ*Zl` ۽nsK Oj,4ÑA׳gt_+dEm+9 ou݋_dƃO똞)/X\´4ۆ.-VQW ה ȟk]zR Dp+w;K}0\`*A:( !VC4U!H׹|6-BKao:Eéa™UAr'6HmAyg+4@&8G_р8Jwqx@bn)-}މB+m_G@?ҩ#_f6 EJؾ h(~ z".t^w杣3A)9x*CHO_O#|2fĖ)lD<,-G=qik5lE t)n5(s8ǝÃW?VfP0AV^LBپc y wP2 dZ;}wY7ihVng Uip9S=H'_k>z;%gYZ5b8a14374421044553676e302c3d193fd6caf690e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc + Verified-Prover