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  s)TT ]]Codegen_Basics:threads=2elapsed=1.242cpu=1.348gc=0.000factor=1.097zXZִF! d]ŗXf1-`7z8%_=IIx stb+_kQ<(Wmi*}hݦ'vſx $ѱgYZ7zXZִF! H::name=Codegen_Basics.Setupelapsed=1.229cpu=1.328gc=0.000|O#aI`S}YZ7zXZִF! c]ŗXi%;cِ ub]j>4z?i)`Y5i@:ؚq M uagQjH!-5 ^-jmӒ܇m,uc+SWPd{c@'0P7_ 鶯ǢAŻqk1P\~ k%`ITkExcJOo f;!]S5YX ڀ߇:@F~<{2ZK8H@>@8#,[e#cs~_L`=~6d`'wd%(GКn`$]/?Π>q  9gYZ50cc9d011910e586db11b6a26a6f5c69c22f74c97a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d c778faa6bf8be5df05c2dfef635e886ae01138d5 0c6af15267b265e8188e286a4be24f4639b3ee7be9ec635f3dd3d0184586951fabe073fc8a3a2f7c ) Codegen_Basics