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   m)T$ ] Card_Multisets:threads=2elapsed=2.149cpu=2.728gc=0.000factor=1.277zXZִF! a]ŗXf1-/6vRZy_Ĭmu uS@!bV(ۤ/IHI˦nLw%دgU)HBS6@k}ܰgYZ7zXZִF!  ]ŗXi%6q-qhchA.bX;-hʈP&)Kgx4*jje7i+Um }rE4`Ëtծ,'%C"`V>?,S^<}&aVJe!Sw*dփY mYգol!&ӼY҉M\򃪨`gE;jU}F@g-pxgf2#W[i B{G>a( gvbrp*)?$ɞ!tNa',W, Dc}HHEW