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.446cpu=1.568gc=0.000factor=1.087zXZִF! f]ŗXf1-`7z8%_=IIx stb+_kQ<)4G&aX3q?(.EUt윱gYZ7zXZִF! H::name=Codegen_Basics.Setupelapsed=1.434cpu=1.548gc=0.000>$΁aI`S}YZ7zXZִF! ]ŗXi%;ߓ৳{>g{=o[sVi$|qĴph"bj.L$i}wBᧇ2R=%u0 Бpj|GDZ%z1vG)~~H {R[}|q="L!-b{/!nhIk#0vC+ne acVF܉a\3{GOKԿ+o%/Zb?Nn#AOb"zjlۓ&򷔼9'_dJ_HA2`Y[Mf{TY]${f,uW> \~z̢),3 :\ZYiGVbak&m[KQg,Kq$gYZ50cc9d011910e586db11b6a26a6f5c69c22f74c9848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 d917d16ccc38ba570c12297f3bb3196d70f93486d70013da7d3b9f63dcbfd26f5fa6a4d13793cd55 ) Codegen_Basics