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  v v!L / List-Index:threads=2elapsed=3.004cpu=5.600gc=0.104factor=1.867zXZִF! V]ŗXf1-/6vRZڕ/0*]=D)𖒂_M]݀_cE&H1Z "#5.jpM(o!W_S/_;IPe`|yZ7]+#_*` #3C3ZPz˖O:c9nzͨgYZ7zXZִF! P]ŗXi%6 $$Z)():\nD<NZdN,\!|9sYKpԬwbx_jCOAku`+F`-~gK'om,0jrL1^rE<@,z e{Et(2:!@V؉=6>ZծLl[j,jIVFVSxLn+,j0~DrȪXPv`Y.Xwt97_@BhE3y;tG[`A[WsΟՀ*CK F1H߲E JaߛR[&"Қ7tL47HRPDk&8uI7x5қKSe)Lpxv GE!ŌAf.`iE"8 AxK[d$5A!yָCL |$/˓lH^ZȐw27Uե5**s; kJ/&Pm Tr$ٔܪƼ'XT.!gYZ1c7c9d56d0ed3378328ea8e8337b2f93f9bfd51f 98c6f3f02eb8f7c19f7711f9bff9451de0aab771 aa8081da44f277d5ddd7f6b923726c65686f8918b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36  ! List-Index