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 ^ Dl< ] ZF-UNITY:threads=6elapsed=5.217cpu=25.476gc=0.900factor=4.887zXZִF!  ]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄđ - >J )(Cm%bKZ1rM_x*fp߼()kJIl@N;c*鞓!!vO6}g0"7dc |ؾ*H=窈]=[FvϔgTSigYZ7zXZִF! hp]ŗXiɟ9 i:4V;}A<<ګMP7%ZC׮naY8O:ġ3;eF# h/[^rb@Xc'b!#NGa3P%GE@/!a>jPد9q]LKItqM06o{j _ϱB̵`- о9,k΢?;FTΥ6ڹc<Έ]e3G񘩁զod>Y3:6pvR 9n67|*M|t?g,)Wl/̞_el({N18r(AȵTcã΋6tx'"UsME\D=pI{ gKgYZ7zXZִF! L]ŗXi%9,{Wn "_-{CAq k^5ok!K@SF[`3=F~7@1 1ŘL)?21-VR3z^*H}P^c/up+bb|)3ٵTC5_lLE+?0[J8;C}e!y6,:C9TuvtI ('VBMmO ⑙ohbloGҚ<9>ȳvtغ#I"#hRL$@Xq^,_Za(:VcЀ<% 9by%J'"b9=" j#7i0p9ʪORDeU2@>T9x2JW]zhFx"g}gN`0݇f ̆!Ln<ql()}~&Duv)>m~5(̵_NJ+~= 3倦f !2E= l &Z|-➊lAԱ€3b{5H.2[x; &`F/MϏVML ЙӓJ%lniB+z h[}ѺƕNp&!-yٶ`[ZKrR <>dJ~$W4pzMA,?-7N4Bq&{ 5 Y9-hZ k @Z%&XUDzgmy`qZ'8^c3gYZ6f1e077228a007b0eabbb9d7f60a6e80d85f4900f6449ef5e9bc96dd5096a5a71dae4e1ccaaa800e bad8d3bd0cce8bc430412c373ab18b0b8e819fbc c3bdc2c479d2c3e6a68fe1f017747be81cf3d403   ZF-UNITY