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  )\ ]]Codegen_Basics:threads=2elapsed=1.391cpu=1.516gc=0.000factor=1.097zXZִF! e]ŗXf1-`7z8%_=IIx stb+_kQ<)ֻoC1(5(\SE:[ xgYZ7zXZִF! H::name=Codegen_Basics.Setupelapsed=1.383cpu=1.508gc=0.000Hsʜ.;faI`S}YZ7zXZִF! !z]ŗXi%9*WZӀx˪}^2lcz\KtZ s/3Eޛ|nmc9" jFU4Dl>MP1Ed&~@ynJ#MbL:JFuѡ/bz?p-rWܦ!ĞƽZȵ 5B ```5G+zf7U Uiwbp*%ݖ}"^0יnm;5Xo_oOv[Cq-|7ZÓfe#D)q7~I[f\ek} kt~ gYZ463ab58226014629610f81df8cc6a1be73669f1eb5c424772a2a5b40f2f68f25414695f3cd309066 4421303c0db3669d059ce12e56ab74b4697966f2 ea164186239b77d6cf8a77dbfd65972873cb3e5cbca2bf6ad85eafd856d67189980d9c1bcbed13dd ) Codegen_Basics