SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 7 l< ]Abstract_Completeness:threads=2elapsed=8.479cpu=14.640gc=0.644factor=1.737zXZִF! )a]ŗXf1-/6vRZyغgЕgQ,n0 z߇+UMe֥neO#O޶:NNM 7 Abstract_Completenessa n[i P<"kq؅yFJh"gnm,:q4LОex7ϧ}r0}&6<%:Z]?cȳMȦ>S`UL\a[k /FF[D]ER/Ԧ-"7B}j E4ix xYTΨ'Կ^""Ƈ0 W\_1* x IILo:>G1x+˥L mŋ4'x4B|=ǰ}Pycq虞|ec'TqS{W&J(}0!q\G6C S@7hpUiǤԎԖP,Oy>deޒn o(79WjxՔ]=hLDk [[~V h=0Nb;s锕dIKt?RrFHұgYZ7zXZִF! 1]ŗXi%VlaU1FF͕GnW@J,}e+#q>}NYv9Uߙ>S DzĺZn(He֏koŮ4P: kZ:q~I׮&ƽ h,RWhwBBpѐn} &:iTB#l_(NyYtGI-' -nkH`jevcެB |(6&c n96YYm5cNrěRMͪ4oC˦gP=܇OGC4%i¥Db!de>WO39HM0ڛ܌1}]@#B{9ج.d+