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 R T\$ ] ZF-UNITY:threads=6elapsed=5.133cpu=25.452gc=0.924factor=4.967zXZִF! c"]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄēaGbדdE{7N2z<|@s۫`wr''(U+gB*CL& DN8lLU>8NJESsnTE:_)9 `C(LR;MUKUq>5oa\@Բ9G:BY#"dH[ToЂ=~=]I!QQ K.G=e;&jr5}~ב;lSy^pr]z *рL3TaA&0ԁý %{g2Q'hB B跑pc4ZgYZ7zXZִF! hg]ŗXiɟ9 i:4V;}A<<ګMP7#\zvtmTzcxz*4\FjHgEn#WZ ɱJf8kc*tOz\<n‘t%hYrߝZS#"uoRldm(lTipNlr'qƧ2'πFu;uty-a%48+'A^u798C@R߁)U(CBCS8ǦwS ~(.VP#5?bjyct> )۲-s~O>0 . űkc/)No@(1y*Kfg(o C1gYZ7zXZִF!  ]ŗXi%9*]~Ju"\qY{U+T<JQYg]P3-BA>Qli/_$y'ϰ6"4]7M> dUNdrq[߬.fʫA@W8x=Dޔ:?b̛#rPe$tKU ܕ#H] 5=1-QPq 7p1 >?f?"Ӱ#:,",egP77wD\{m6pce0ӝgw ̀t:wM7צo/Z_&`2TqsKo"&BuKܕ/pq;=8 PBI34mPۆ. j F;=@uzdL 9Qrd/e'kk-u(;2RE4GP qǡ{QYk!8 |2 lK:wbt?*kٻKm m(ටeiu2\ c&\,/ُ+KsSshq ^-龪*rS| Ɏg]|h- oqq."M΄%/$;ռ"^x8x+X},H>,h,r-AsA2s}Ҋ݌/uGz< tO%wr+ToxƚӝDy kz(j#NA|$Yf%L\MX\VuJZEq3e-gYZf51cc84825997ef70401a6dce2ca7be798ffea090ada86ca64541a14c3b4bd3a93cea3b953b9dfec 76390915678c46e6dee1fc920ef61c57cff5939c 6b547e92a9847b1d0c8180f984faa43c89bfefd6   ZF-UNITY