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 ??6/L S/ List_Interleaving:threads=2elapsed=3.308cpu=5.700gc=0.276factor=1.727zXZִF! ]ŗXf1-/6vRZږech-`UMqď꣮BYmSY"Ds 'cm i#N׵a3'N [$ )Rbz7>ؤA0T\ l :42Q / List_InterleavingO mm#LinZ_MAكP0q^VF%g-G}g@2^t FoM?oZ_E'f%AgYZ7zXZִF! ^]ŗXi%̎F*洪<6IPO~56+wGxZJ*`Lx9aTCdnetplz 7˔%;CYb8NgS}e!K7t SX .^[!'M{B mw=#6wT`De"CS & %}@1u9GFec `Ex+n`'=US&ׯ31 ս '4{ԓ@ 'f qZ'&DJo1ls8=9٣FN#`F g8\ 0ix)2ԌtQ2B22-WM;fR@ z!2kmeI^g}eMWm6+x9dkEb6[z+;"ݫhUl 75x:\?RӌÖ4Pwo)@EK}Ymsq_ ~TaA,AEΑNP8J7F?qh_c1[d3;1z#42SW=Վ`TK?Øqm ei$yEֹk|, FczЪv5l3"gYZ63b9332e0c2b071f8797a7aafcddf15a927e077b adba8d4b718d4b39467be2e3f06ca5716da6c0af c6b515874d93b72521df988532ba293aeec11adf f960ddbe27f8bd882c523a07c322f5b997e8cf0d878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457