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  &C\, /%]Koenigsberg_Friendship_Base:threads=2elapsed=1.190cpu=1.888gc=0.000factor=1.597zXZִF! $h]ŗXf1-/6vRZމUaHz..pA2`-*5",Znڭp.%ָǐXa޾R)vܕ>t /겝1= ݷv]z%F` BlHZ1T32U0WPHį0GGOgoЭQ5ͺMzޟ۵|fMIZ~^ϏF nc~u@bCx=M^5gZ!?tJ䫝ξs6l#JK*l<,i:y#ec Y'iTd6.(Z!y쯆'P U_ 1N"9@lϣѧ$Jծq+lQ n*Y:S8]TYtBsښ:," g33CK/3Ew:Fkɑ Tjp{Vf~˚9jbA:tl E"++lI&ϡ HXʾLgሿS9Eaorb{c+RG<ǘgWj3%w@tC]o08gYZ1ac61e206231511d2078b73713ca387efb2a6c1e b38eb74420ad5a011add14b315271da34352f55c9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567 b62b082da1d764e713f5960b70e1b522ba49b147 eb91c7c7b7c0eab83abcc8a29e858815d9bddb4eb8eb74f431fa1297781bfe88f3f2fcd37887f1f0 C Koenigsberg_Friendship_Base