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 33J% \ ]S Posix-Lexing:threads=2elapsed=15.399cpu=28.212gc=1.596factor=1.837zXZִF! /:]ŗXf1-/6vR[2u)qS?'CΠPhuM2bF|Oބ2\8~eRL1ƼW?6vnІ?~(K J'D큋LO|Z +aZE. "JƬ9"￝4<_&Qw!`1H>\@ly]C1|.4/657b7Ffj;lK!6)QMWrĕD6e8AoNGO5_Wr\jgYZ7zXZִF! O]ŗXi%6qd[3W47QQn;w8FzgI;" nފ/l^egM~$ɺ`.~TIc;Bp@ttƃAVĕEÁUMJ,?VQf+7ީRBS zBqpL0: 2qDr(P\jN= ѬiF f1~DMƶ8Ւ*DRK,]Ps@\BIаI^ήl2Y1r4ZUԄq%}粻 :rbYFnI|tTxHFT2?}ցYKdWz8e6!y_ o4Џ(k}ec'Y/2_ 0P#j[]B M4*6B,/B$f݉@X2"tJUވ:"#%E]n.@.?6>Ϥζ26iﳾN0~7'"{F*C\eI/nR} mNjЕ}~(CVK3vaQ*G鋛S e a߱vOr<%'w+)!