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 22K7 L ]]Abstract_Completeness:threads=2elapsed=8.515cpu=14.272gc=0.584factor=1.687zXZִF! f^]ŗXf1-/6vRZyغgЕgQ,n0 w{YK-L2l 7^+6IM\ܔ!yĉHF\±$.\hk+j`{S ?/5}s}<9&_i_':Y]g๊zcCw(j/TѵjQ=[X]U8EJX+ Ưlɛhu4Ohw+(ڈ[?6KُI0{>P!1w̏T-84s0Ui^s39Ze~@ 5O8@ /o PHkO< .ҧr`ӵU*j_O s.} VuaHH S6ߑ1pg #%#8 mf6ɱ;& '֯?5lk$\7"|sQΨl9H~c޿F$^˲Op`0PQj[`g@pd$@#JDTgg0שyBֆV}05 QGg+ѽ٨.WaP5 p^,p̤[؈r?Juv{kdzLE[C2LMc"!$G'c-:!@2M UGBĵ/\tMں+-`z$a\$(3X]NՆng'TG"U)T? k$|Gp22Y >=bI}D1x,-j ,P6@@fŬFc?,vZjD'F^ĆUkO AN8ߘ3#7r 4kw%yMSUaaiJDk;)ɱgYZ03f3506f293cc27306dc1edc1087cc2c37e467b6d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e a6afcc2426fd6b701d456a4f4e00addedffa6cfb9ffca3a791b92b05352464e849f688a70485e7b4 7 Abstract_Completeness