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  -L\ S% Ptolemys_Theorem:threads=2elapsed=2.888cpu=4.912gc=0.100factor=1.707zXZִF! :]ŗXf1-/6vR[3FEªӏk44TYz9(؊+Ag unԈl2&fgPP,d|a\Vc_<(O?ghfu#tה! {4Hݫ=P9S]{J]gYZ7zXZִF! =(]ŗXi%l  Ri $ww4 <$T1˼pO[ÑagRUTܥd:1:Fm>Asg>U?t1􍓅dr|uL"0@Y*^nzԚd j.´H[o浠.!=&vQZWP5 T`d{`+*)gP#>~܇eFwjgx`wƒ(,|n\I|ux193gYK)o~EPY7O$@Le+1񈦝pz^0">#jcCB5/q|オ/=m_Ci18bndZ?')⟁2*PtrN?{P b[v9'YJtW/rJ#q9r545Jg,O2 ^,΂Yϛr(~yZ