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  i i/, m/]LatticeProperties:threads=2elapsed=4.004cpu=7.376gc=0.168factor=1.847zXZִF! /:]ŗXf1-/6vRZ"P*nI1x{}\mp<;\*ylXn"@u@:-[=jKZ0vQ}D~dn4)| +>%Z#?k<9Qx8kAK"b^Sy^eN iAXk5^UqBZ[u*DKZWlhu;|Zq5%Y2[D~7߷ Vn|ieʦV?I0$.a 7 qϚigYZ7zXZִF! R]ŗXi%}j`NT콒W|׬&aNhcCTQ<<{KD $+ {d6) /w&id GٶVUdIinS;3c b8:Vo_gDj,h w܌٪D wܨ&JY zRio=uNjڪ-2;HֽK{OR=|ߛu:%t<4\OƵg6.vrfļ :@c)IqDŽaFL'=aÒ]}Z ,JH