SQLite format 3 @ . Y Y Q77Atableisabelle_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, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info /D< }/ HOL-Proofs-Lambda:threads=6elapsed=154.518cpu=185.544gc=5.868factor=1.207zXZ ִF ! (] ŗXf1-q恈͐7ӺV-fw0w]BjZjfʖ+hzq[]d.桠O<~ eVxcD+Z'έ-=[+&BϸN(+uv!U\EߢIl4i62cW{~9@>f1:YA&!QeHIax5TEC#EDa%gg` u*KhG*='dO fIl!l1:" DhUt my>Z~_9ٟ_ ȒLNqi>qpAW>'){A'sI,$ >=mV쎡P G|h}F6KC -&Uή#׳M')G4ڥPrDqi8ތ W+dmYk'ST.$ñENaEN/}т<۱@F` u# 9iIt !g YZ7zXZ ִF ! ً] ŗXi%6jD^i@*Q}r!jNesGy_?%TRقއ1n#Im%lJ߰ӝiIQV7L ~Kp2Gd=[UTS42W\eʽOH}7T͛NQʃ)'~W$&meqq"D)+.1TC 8\TTrzL