SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 & DTd ] ZF-UNITY:threads=4elapsed=8.502cpu=30.516gc=1.072factor=3.597zXZִF! <\]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb3hzf|.dyhoH*#-4Z@A_)ӡ Hbӛ0]ڊV3KDAe~{` l~eӵbc%pFhy@YXqUDk W._ġ?ߢQZ0." vCdSC 7e2O wDN.rV} hŘ)Oq4G~헝w(SwpVexOPyKssu)eVa/Fu7߰Z*ak _A m2^@n'9Z~Q2/A@ q9%>24 OjrJGi<Ծ<{sLdd8f R{.<* >^\MͬۧЩ;n݈iA;rƖg??Ć~JEP5fRn(݆>aHPle0i3q,}2XT~SsIy=5-i 8p|1GBy7DToQ֨:A^Gy,VFv0*29VK \Z y86r(V9tA.H&6~N?3-QO6=0+Y+)>c/an?cNR_=EBA)/vU7Uu27v9r2C'آ -4ƞE 5?ԊIjFzAMw%_%wуE.`Źgpq(9ᙥ^Xx.KՒl8W|opMoF{QGf+2s< / dgYZ5109259f89e1957dd2217de993841745469bdf6a4b4d09c9c1841a4f01c8958af89ec039a11204c4 0de35e28bd6136b5fc8105eb32ef1f5ac8642c53 ab4d2bf55f7e094ffb79c93dcb79fc7abf443a42   ZF-UNITY