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  dD ]/ ZF-Resid:threads=2elapsed=1.595cpu=2.500gc=0.000factor=1.577zXZִF! j]ŗXf1-W[l0[}^&c<P7{}'_py UqzSU8UC2%HgYZ7zXZִF! b]ŗXiɟ9⿺Y mXzuQZQh!>Fl>*k92k>x `ڭa7e*|8#uR0hYʍN9Q &vWA0wmgYZ7zXZִF! +]ŗXi%;a*ꍐp[8i 826^Z *qxWk=;u/Rҏa PNO?߮:gueZ0/8\e8o,5L4U!KDOz,YSDy;2eTҒh&=SwG72SOR>>/74= .%̠k>8+!net/[?np ɣ6#ޯ(BKg ?+6w4'Eڊ𚆆L 0Q2˒Bͯ]멪|sP3Jd)B'6dԀڞo&Xe覡or[v6}x"6< o86lhֱgYZb591551ddee365bf4d0ef659d753421b611064ca634a34b0a78430c8365c904b4a02a2bae50a7baa 540be2dc8f649a2e1e452760ad238681aef8b1c0   ZF-Resid