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 n Ld\ ] ZF-UNITY:threads=6elapsed=5.181cpu=25.560gc=0.888factor=4.937zXZִF! f]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄđ_QA}Qֆ:ߡK H Ts{`Bj}1niQ)VPK_k{֔ҺZMsG!諁+ZjSJdlE̱NIIȏ6}_yipJ\~t 4B;7Gq[z*~W&鸢tw/9#Gi>),O+ 3{6^w>,֠abzdnIs02 .QVxPOE 6M:xr:˺MZ 9?~ ([0]+g`.DtdU=6v`nC94&G  ]Dy7W~p|>Zu^gړ6 s?guLȄ~4+gA9n>LgYZ7zXZִF! hl]ŗXiɟ9 i:4V;}A<<ګMP7g]%ElOp[":TY&9ܣ5̵8'giP@lV5V$Q >RG Ӣ?2$}l^L{/ṯեrLP J t/8]ZfMmPUGvQR4AE7']h}jeuj])d`:HPp.^ [L|rŃF%z*<[ֹc4%ߴ8!as_sE*].ݤ:RDC, !i햅y| 7l t ܳбgYZ7zXZִF! O%]ŗXi%9#|&v&ԡ5; t) FOXj3gLItT)& 14=h7QEi7vqIӁl9URlRBТ!z Kn) c\Ysm R3 BbRiw 5(=5IPtW y #&z@!wn" o}3=%A%+ڌ\-qlPyJݒLHy.sE>1湵@Re K^>w7~#,4Q!1C_sYҼhb&VL_ay+|)vm`V{|؎%|#%q#L )͓|R} MF-7/:vUNNY#sMRS0\2<[ iR1z^02\M6@C\?PYgb1;|fdߒg9 [10Yǻ xg@3XW޻sמ)-# мwP8&ښ A!=%W?iҐ"kH(m0߀sm 6gc^vVF%âIrYH[Ex<~U.fwA?$8\Y!p lV2Т?6Њ#)7HU6"-s*'@CZCr{.:mָ-ϲ<-8ፚgYZdaa0a1e16d71229e5b3a47ec43440dc869d5da97c2d0fb3b47e8eb977e037c394badcf36d1d2c5a6 aec46a25ab3b821a1cf91de551fe1bfa78f0224f ab31ccccd1ccf0aa14f1c1a02b591d45da5a10b5   ZF-UNITY