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 2 ,| ]S Codegen:threads=2elapsed=7.683cpu=15.140gc=0.932factor=1.977zXZִF! ]ŗXf1-`7zu.el&Di'Y/χB#휗s!Gn{8nZn4z@>y{|xuoD|8ei|KCy`v|d-1[@RDԐZ)uExO^&Na%h_D!3ϻdHԎsCjO~iCs,5Ju?l6vE {]/h";1l<&Wg,D4]W ]<{)66N\Q˙:7 FE,RbD=y'*QPuaս=>.cg~![^^ >į(DWU04Q߂pDr}H?Z$¥\X{PP+-E ^b osm;H:Eoя2gd٣_^=eև$~\\~H=-+/sd/oY+`ԇ{tE@ j~A. r4a@  'M9ߡ7^qL&M.^hX<Ml >%7mXNrER2~S弝-;69cVH#K"Y6876 gn_y8&NWb_cˆb{mț|:unvʭÑT% @ #U t&Ci:`U3^êp`>NKxTZ^D E̤ eNq ѺvLf\2&)@xk4 *74RUU#"bܰ2 L_2aBl2uU>3rF"hS^ˁ+,{FPmgYZ9379904305397f0732dece0957d40909fb3e2351f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 35eaa225201857107e827622fdda13b757fd8deb 600e22bc2edc8056b332800032b4ed87cbe79023 2e75472518ba2316b096a75ece92ae75be4464fa   Codegen