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  )Tl ]]Codegen_Basics:threads=2elapsed=1.368cpu=1.492gc=0.000factor=1.097zXZִF! d]ŗXf1-`7z8%_=IIx stb+_kQ<)y\8K~ [%=Y ,nuA & $ѱgYZ7zXZִF! H::name=Codegen_Basics.Setupelapsed=1.358cpu=1.476gc=0.000_"9BaI`S}YZ7zXZִF! !m]ŗXi%9(Pς(Au˨mQXY&kxR!8a.BsX<{:a;  c9[ # qmݛ::ͥ(I@~>Bu)0$Z֎Lk5 *+DC!P)R!o'rnQ(gqt%ZX&PJA%V/kPA3>I@GaQ&'HHsw* KqRj`eWɣ ܶѶIKAqoQ09BȜaL'>9{_l-u'Z,,+-n`su /BeEX_;gZqMEgYZ00287db2fdb81675a4c87f21a3798a8b830a2bb06f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 f35d613e91298ed96af573ceee500580887c6bd58e67298b43ce716eb274eebda973ef6bbdb49a10 ) Codegen_Basics