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  -LT S% Ptolemys_Theorem:threads=2elapsed=2.737cpu=4.708gc=0.064factor=1.727zXZִF! :]ŗXf1-/6vR[3FEªӏk44TYz9(؊+Ag unԈlzͣb8 'cƱ9j98Ĥrõrr 4lQ \kU/;:Z#^'6Fcb;x>1;\ѱWxgYZ7zXZִF! N!]ŗXi%6S怉ܫsMI_ ï^h*Bw7m5Re@="Z~~FWAtJmڏc_ޠFec,V5x"+#A[hv5}nxwR&(s.=W"Wh ޷zN2f&cz1d-*J\w1Ս͊1#4ػԿ: pSԧ>"V8cYX6؝e$YY-a(-û)l0[WB'%mT# ^x1|JaF?Rܑms?!U;㒼~f {YO&"΃tvpiq-}یNzڅR