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  )T ]]Codegen_Basics:threads=2elapsed=1.294cpu=1.400gc=0.000factor=1.087zXZִF! d]ŗXf1-`7z8%_=IIx stb+_kQ<(.q?GF]1VY,Ծ $ѱgYZ7zXZִF! H::name=Codegen_Basics.Setupelapsed=1.284cpu=1.388gc=0.000&|LזaI`S}YZ7zXZִF! |]ŗXi%;Ű=MIcZ\ o}.B!4yK:1d#uH~s͜OMFFjr[oLKќ1J`%]P[V;4IAgXGEMS2lG1M7̲98;~GBd ԍfY2{}i\O;eX 7m6ji#q{]J x`IUD#E.\ ʖ<d `N788:Nݍ}{2P/IU=T٣c>K<wt(X{SwI 12Cڗ H4J)yZ0ϼAgYZcde5779b304ceb8224e467ae0371974788b387dedaf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a5 acc1a01ff3c9aa58d6357f601c4748f07f6c9558d493762e171492780b1d1d66831e9ec9131e3d3d ) Codegen_Basics