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.171cpu=1.280gc=0.000factor=1.097zXZִF! f]ŗXf1-`7z8%_=IIx stb+_kQ<'ZcERʳ\>0t윱gYZ7zXZִF! H::name=Codegen_Basics.Setupelapsed=1.160cpu=1.268gc=0.000MqaI`S}YZ7zXZִF! {]ŗXi%;P~Ws+l={Jq+%v[0dNBp:J8_D$j"u2n 7spgmA?sSlG,ju:PC J~,ERm7@t^F"JDnI_ݧ呼-8PD=J}ev`y]Yo#@VR^2 3:pߌKT(,AëQ+h$d4 (9qNYZL˻)$"1^,`04K᳽S~* 8U|xYh]i(} pHkB|; /if5&-BwD~gYZ31fff24bb8032abf0355aff060dbda533834fbaa4b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0 01763d1f9d1dccd6e1ba7f81275e973e88524c05ef860a92857401f5f76bca8a9f93810d9a6c6d92 ) Codegen_Basics