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 1 t$ ] IOA:threads=6elapsed=7.083cpu=28.560gc=1.092factor=4.037zXZִF! g]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K E{qIK>#^GO6W+#K3#?6@M dWfPQώi Q Ur(Ɍ\JdQ̺QZCnmN[O4>2s=˛s̈?s) %ۼ6H23@YwO@H_4vXK{p`L#~Β$ oWzDHN|ٛ:O?.Z+"98WUs(- )WE:~(7>Ciʼn)+D\]&_~:Dנ~)o9ߝytMMswh2/ 0̊3"r"gYZ7zXZִF! `y]ŗXiɟdN'LvH۹$vYe|5%z8%_"(i5lGVfJW3/#VfH>:A]%6 5SxCoJn\ .HPJfBLs%_4h}X|At>0(V(~QOazy޿y38~/F,~>(C ILm򊳺0+I;Tt-ULIUXjƳ*.y$0vq4=Mʏ A3DnW̷%6HݒVZOm{_Ƅ p؋ Jo7glV?մdpuݭ x c}>8~˫=R&Fs^8X%KM:n v gYZ7zXZִF! #]I]ŗXi%;+biH}x`$ܡcx/$PvbMl-p9v5+ |O]^ж4UhI{vgif{2t䕲w0ɭbA?Rv!L}N #j[\l^VOk~2]뺟*Ypuw6