SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  H H5)L| w% Chord_Segments:threads=2elapsed=7.364cpu=9.904gc=0.196factor=1.357zXZִF! K]ŗXf1-/6vR[ltb7o- 5v B8V}*ڰ k%8mH9{E ZզĒ ,.ʊyU78tF'ya%+ƍx_ODU Y&ɂ%*U囻=/RDy. slI" Q9[ǴxgYZ7zXZִF! ,i8]ŗXi%6p P-Dr=pӡH \JGlZx?EgHZPeyvFj=[]D0E;s. ;lMӽgɊ5xqE7y~֑B8(y6xܺ Gq\@d'd_-H}DmzͪTlt|Xs@ M''iK`}tk}6;|Z1rUh1妩V:o8XDj's-N~rS`3Aoע6 tm<3"0fdfkB ~PZT&<;sXݠIN`z~ %lΊC6w:)5܄`c($DHU }f>j2cL,ΒpQ}-FMquAPed/}cqE'BhJ%fhm}w`}9.??05M $w.a;vD)cfɼv|>`=|鳌n|ѯꁻ ^Mhr{^;GF|a_Ηuc zYp.\}z*ly'w2H;dt$X.{-`=O8eג0g\g>&H˭.=aǼXgYZ5e6e55d3f0f56cd0c9a445cf196783ad8eaf3a51 79350daa9ca6a5dc1b4127c0474db63d723d6da0 8fd8f822414a0f9b3c80355e2664c31cbd4682a1 a19e8b1a5dc2785cf0283d4e87ecc1e6e3925a90 e6382b6dc9e2ec0789908af934c3bbe4c24fa070 eef6746d770fc46fae6b447c1dfca49114beab20f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1 15ee8cc912aeceed8fe042672465707952bfd409 7a682a676d8a84f583e52b3d25f7f4b30d4e186a ) Chord_Segments