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 WW& d4 / FLP:threads=2elapsed=21.184cpu=39.380gc=1.344factor=1.867zXZִF! %]ŗXf1-/6vRZlh[`QA\LA_=c!z|@Qm6v{"UNGxWR9k;C˞'nu5cH KG%9s4AXhy/6$~Ku~,@s Au)5p ~kQ4D{oXzDRjT)<.J8}M'c3CB #j ->䉐eC8Lm ƌT'h1#{C?/,mQ\엎_A9v`}n1ߒ|Z E6X8myn#CD>&&pqE `9u`Y`}(nZҦjɻq?䂀T*HJOnqJS#!J](OTVn=qxQ13}YgYZ7zXZִF! n]ŗXi%T H*twEJ^u 3KISE_ҚExݍ &SV۔@15-v5EE$ZHW2ao_ŨvW8Y]>s+8+{g]je?7XY]$u b7׋/<%E|fu|Mj+Y([Y [, |[P i墾(ڋ!n'MA8_!M LH$E2ckq*|DC3YB:ܻ'L–8@a IGfO|.C#>Jn;K+[ 5 w(3|bv?C ^k0}@`7-eSɩ+~,//ZYH#0 wisaeq1ԅ íb:f sS"e]im =XšujGZ'qԹJee w4Yjc<:S=>4'bXuԦx.v RUT+_Г쉌C_ޤR\+1