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 c l,d ]/]HOLCF:threads=6elapsed=12.759cpu=36.392gc=1.864factor=2.857zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VmKv5Igeع_8%?4qMe-s3lXήVV(f-i$P.RKXC9e duj=>Y. Ω}#/rJ F'\de\Yn57RŴD^d:$xinCLigG/ņ.HV*RL~ }Vv*9Y " yJ҅Kk5ڱvCA`G?5bgg\=\z76dGJE97Ceyg5Ӈɇ9S2]zo~3T(ﵭ;ՎNe1[+-c4*.y\ bz|OsΛQ,U|10l˹*bDhd9u/ =Hlt1nQgN~kc^VC~m(2_fzlsaishzJp%sbר T"j&oW4tr!:'&wg˰;z| =v^7k zOOYJm[!pԟd5Irr4v+eq*kgGvQs}J(t=. .+}&Z@z?W{>XKV0<,Nּ^honu1+gYZ7zXZִF! =,]ŗXi%;ŵw U,Lf p^C % wZdud2xm&J6B(c׊$E*ر*f>Ƕ̂˚W*qMWG7e '8"d){<)ltZNX,p=)A+Dخ7MWAHgWCx9a4 6 zIƍKatD%bӜ%0Q!) (IG.>Llk5@C.! -xȔؤv>S9[)#zf.U4 R)d}3`V9Ybz)0)$׎ꤱ 10Ng(D`\cr;g