SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 33J l\| ] ZF-UNITY:threads=6elapsed=5.860cpu=31.520gc=1.440factor=5.387zXZִF! m]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b lCӄp[QuϱȮo@)j&@Yxl%VMk0$ŭJ-$_4})kQXOU6ZZP*:M@:H^߀l|QH.Ywb*9$?])a2BKL@C;$Ōm[S(ka}DWPۡ(/"hsH;+)jNě ,'(jņ+=WuWh(N [5ˡ z @#ZYbR Q#uK0a?j4̸0aEPpuCR۫ga2+e& [`эA0P"IFZ9IVcvFy} [RS]Fa12Fgu``r#艺?Z1X}6CF,8au ޤ5e.Jsߜ9vO\&©b ~Mۈy`:3)76oβ:,E4S"WFc\#*HIȱgYZ7zXZִF! hh]ŗXiɟ9 i:4V;}A<<ګMP7J%(>Y(8˅$? ñcV&` H0sAk/ / J+wc,0ۨHҔXEte|8ݵDN m\gE,ӕ`ySэ|OP6]COٹqkHS>DT׊0_R+icX -Mtٯbp9^|SNk^ň{m :Otn('aY)e –l= s4gYZ7zXZִF!  7]ŗXi%>dH/˖%WUSz^v kȨ0ҕ^GSȮcdk6 u%E{|}0I7`r($qe,.mĬC:4z|b}SiObFدc[2lHeD g'ݪrS Ϟ0uRcXFaBx3:ɥ%0#=fA3Fةgֺ R1 [ 9m[P;AL_ fMތO6m']U"Ce/0جpY^$an}Cqmm*FY3ߙ0"g:c^p@T 40jy@|i"Rnu7}j D܅5,|;_ZD 7~0CaCqZ:*9dP}LJ7*d4:TVz[QYL;/g)ʼ2TEV/$$xcǕa+eYRعNnRJGDpp6$n7gɗޒ2n}2dkWCpSv0odm2,g0^lbc*Ħ%KysBu'Ww;OZLN#dNQ5/r^Q*!dž gzQQ,^|^ Mi O:"l{ c+R-͹ո,#WByXNNEgP.#3Gu\qBwыg]7U4kh+:˱gYZ51ed6a54601b825e88c699fe9798ece2ea7c88e1a681f6653dbc3911110a79ad31633f9a1fcd6a75 5e3ff36e7473262111d5d467277ad6cffe26f743 e3fba7b43abf4fef4cab8c436f628c05c22b02bf   ZF-UNITY