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  )$4\ ]/ Implementation:threads=2elapsed=4.023cpu=6.948gc=0.120factor=1.737zXZִF! ]ŗXf1-ȩX/@G[GUQZ k.NN_xMDPprQЫxqpirH +jdYT8E`~*rم9r :̬S%ܿbgYZ7zXZִF! *]ŗXiɟR zMhMj-DQ9\UA ]Dc"jWPno'~lk yAfE`+eUV+>gJϜѻ?2˒JWpfȣ/*R3t0kP(# 6ZcFP(r'4)eLgYZ7zXZִF! ']ŗXi%;X?y1u~ |?uʧ}ܞlΤk4\#:evQH#UVX,!*3i5JEDͱ,UCAp ! ]8"]d+eB/T"u'e؉D5k<(=oʁ^j a.ݠ\YQy+~\`44=2l3XNra)uW |mG^ťZML+N>A}|jl*fg0";̕b;'?E]mEvL t 0vO/%n269cg_TyO0~Ԉog4'}%Vw[A5B~cq3z*HNzZ<jꥌ$IXByk"&Bq=l>M+[ZHO8\QKI]<جxңp͏_6J