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 6 \lT ] ZF-UNITY:threads=6elapsed=5.082cpu=25.740gc=0.856factor=5.067zXZִF! %]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb6g#5ƞď|c 3~ΞX{+P~BNU2`-GZ\)^D ܩv(`EHz*/TBWa3|R (c \KC఺H:^b' 'BE=&z[L%~x[qs`)l0`jܼ/,i0 Os;O/jޜ~Ե@UhmzsMgΧeo~ͩ(vip pIA]^D מ= .v԰)[ؚ7`Iשk[*H^su\}o׆oZOo_*RJ' :G1 $q̷ Tˍ-nBD6QZu|Rf}:Gc tg2[W_n{zTz`eɶGt7&PW~ӭG-10Z7' clU/-!A\'VjgYZ7zXZִF! ho]ŗXiɟ9 i:4V;}A<<ګMP7ke92UPϑ-Z6.'עsr~\S(ۦvm`&0QIzLஷ_ZԒ *˙)Ϗ&=`ҵjeFʃC#{}VӐ NHo[5E-x1N"3u/8|B9NHt.8B1OCz4m4Kl95F5+]T.&@*q-F>|ZV1ʢg!FPJT'_S{YiB/K`=i rbVgYZ7zXZִF!  ]ŗXi%;ŵt%D_]Ӿ;; di~PЈHTEd[7Q{"~~Fb+)6]hǼPwܳ,i.Ft:[*WNU|I$)hI?TauFj O B;? c* O V|Dr[7qp,"NM$k~2vd_Np ӫ핌H,60̹棒H-x`ÓbM):vR͊\c%f74jZ+.so;gJ;wcOHCu2.2VU#2 >d![c^b8k~@6) ._M-Ëw?79GNю23y'EK $e4:gsU7ˋ`_`K`jcMO?{" *4j8|!ӆ ! Bں/E??>Y:lI.Sr6]d wJit61ߩG=ȔwI!"F+vA1}eF' !9?YOl!e4XZ9>ԐГQA̋=h#8e&Ms RTwe" 6t (8 7XiVgՙ~\ ymZ*0^ w:̀ afwRɑ|&;:#'cIL uMs)>{ds4IKgYZ614c01df97242ad71ecfe14c9ca9c936bd2ee6776c8c27efb0c8ebba6c08dd56f4b9bc33d58ea855 20fdeac60d9e5fe7243b634f47a6fc14507b20a1 8113310ad76b9f9390d9adda3d4f1a7f25599371   ZF-UNITY