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  _ _d S/]Marriage:threads=2elapsed=2.814cpu=5.036gc=0.048factor=1.797zXZִF! \j]ŗXf1-/6vR[Cx# U<Y dCNhtvaYg8ˉ*鍈wmYJɁ$ptVklwɔ[7CkZiYDz9OzLrЗe#mq (Qgw_} pZ_(4ȉj|&Ϩ^ed2q}cKv,7tMΩ]nB_ƭp18vx1K =AFo kɅpuC^.=B0VU}_Fڏ$I$z4N8]޽8RkL걎bgYZ7zXZִF! N>]ŗXi%sS|AXXXq #NSD lB #럚HS B|Z}+h"}wn$vdl~ N8$DB+VO+ D% `GodG-#sjLpWoC^ ~<$Ά98BQߕϥώ⬴9~K,{{4Ux⋺=bX4xd3 -d[w20tpaM Lj ռ n C.zq.b+|AB}3(E$,wL=aWz{mIדJ 1d6>c`dJj٥҆؈˫bP":xjB\p.gT:RʔiuØ3@%ջ čAMA@q1XgGYA" sn1xg[@\( M!R*RpF _@' EQ{~CGpaW.h\+c