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 V ,,4 ]S Codegen:threads=2elapsed=7.789cpu=15.220gc=0.724factor=1.957zXZִF! ']ŗXf1-`7zu.el&Di'Y/χB#휗s!Gn{8nZn4>K49>qK u-T VU@_]hAz7PB9ר?d8,FFw^PW !!g~uIpI\&Z c1hl,9z?-~Tȷ D_Ց[2pjI1IᢧB&ɭ9YC±V30Ve /Tp?(gyVGAV*ZnƱQvʨ '6OnG {Y =?DG6`#A7/rrs95 S`gYZ7zXZִF! C]ŗXiɟ&,fsØ6X)w`IyS苅ZjXAVzz5:čS>{xOGDOGZ|}>0~s8Ocr(wMGćl'`mTe0ʰW p#Z;$jdT'qA$?(á7,|jRYV{zW[ fX1gYZ7zXZִF! %o]ŗXi%9(P1ȇc~{}1R/ [V9kG0DZmq?urށY{fGa͋|73k S]!p&Pt.@)m@%Zhw\M`d4i$!~dPڟ]\FLR`sJ!,. RyLIœEفh3h)~$vGΟ|xuazg^}qaT'摪FPK iz^J\ ñS㩠Y5T"aKEZ8K|nInQCKkBԑR{oxgAw4\, tMdC3h$u[%sfS#H9[25[@z5<\TSҵ1!F!zHg34le1,- DU#ZiQxv7>3J$ iMt&63>e{U(%G0_(\Il}l.zB'rvByր_>1p].#X] NEޯO:D3jX`t^ c8)ɡ?THr&uh0PyA 1;7|zj*Gl:$_Wj mʿZtئs˳⬭axVn$b)9K%.ꞔ7TdC2r־t.]ixj57REgR~w $<VSd/<-׳yתJ4_gYZf5574462ba72cfbdd8f424c400a953a1124856ef5f6b46d75794d7d779141526bb8c5d38bc06bffe 14fad242a862a8a0327553b16251c149a42b3da2 01ad035532cbe486194b1bf219cd96ecfa7467a0 a9b4aed2c8d1e52ef36c0a9fec57139d6020c019   Codegen