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.488cpu=1.604gc=0.000factor=1.087zXZִF! f]ŗXf1-`7z8%_=IIx stb+_kQ<*ucJ*V|\&?LVGP3t윱gYZ7zXZִF! H::name=Codegen_Basics.Setupelapsed=1.477cpu=1.592gc=0.000}oJZaI`S}YZ7zXZִF! %}]ŗXi%;>^fݬ]8N$.3J gjHo. DpMo;IEnYr,#Mk-l7 =K? Ɣl~"xXrhR y V!`2Y_vbG%Ew:: ӓz~{ɱgYZ50cc9d011910e586db11b6a26a6f5c69c22f74c9ec4f72521e1e679fd5cff6fa91e397c5873c6432 dc95e50d9809fb8249d7a6a630b1f18cc52d769d ec788b2cd5e0544cb20063a87273ee6a4edfccd3d74e2ef85daca63f875409195dca35ebd9e4aa29 ) Codegen_Basics