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 ))TS 4$ ]/ Noninterference_Inductive_Unwinding:threads=2elapsed=9.633cpu=18.176gc=1.212factor=1.897zXZִF! ^]ŗXf1-/6vR[y(&j-:6[τNS&ս*2]5XbY`rHhcn^)2zYr!IV.#4:Q~LP1xK_ v8sSS (s9R$A+zml4ki_Jn 8K؞LXH7U[è}th? M\Ҙ!ѬB2pM&Zh>g%4gUxnw.hCoOkE6&*5 ;NHo8*뢘e!ↀhyOn JkU3u]e;Z)q IP ޖVҩUV ` X䳎6X<aVT4I@RCrp+F q8-HVRlVRKP{cP3|%jZ.YR/A Һ[O Mͳ.E.+?9l"1XMaK;צ zZJ{hb ןAqAcWP5_ٹͣ~9°' fЇGEAXϴ %cA4G9w+͡_f]U (ٓJc|ً0t&TZ|Cc% qbo! j+ _ci W7:KTr捡{,%l.~Έ8g A!z zQiiLlЏ~=h哳٩ne[$l5XLхiuW1qJ%aHRyvZWcrq Kv@v+i9^^9?pU9ig