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-Proofs-ex:threads=2elapsed=1.301cpu=1.920gc=0.000factor=1.487zXZִF! q]ŗXf1-q恈ܗ`(IP-̺|"~:.LZB'ʺcb0+KepV{}ràt꽭4}nJ()gYZ7zXZִF! :]ŗXiɟ1GBS񔷀*eHnrޢeʹ'Kcr$߁~J1$z@3CSݠa 4ԖA y`XlF Lr7"u`o}X*Ao}) gYZ7zXZִF! #]ŗXi%;NHCW@X[K[Du;QsB5Ǡ Lvmq.dojw;Vf6NW7>ʯv9GZ`(5#$=垤_ΚضA#>S`?Fy|W4p%Wr WO:Ϡq>NAo:Ĭ[wcφ;!)u Yl`5iZM?_ޒ1u55eY[&88N5ju>GCa11h?GqUBgKDw*nPϷ8BLNj|\6Ic L#qOO䔐}u7jb_GEf17Yd#CN:5znt>Y_]g*/A^/Ph뛯K gYZc67a48c540e01549f3192eb43a408be23103bedcb1e9d096eff3e2d2097c331d061d199548b5d3ea d5cd6618f4026933f26bae23b5d6be7842e707f8 ' HOL-Proofs-ex