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 GG6 TL| ] ZF-UNITY:threads=6elapsed=5.927cpu=31.044gc=1.176factor=5.247zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b lCӄp[QuϱȮ# Wze}~tRz{!Y`hORq+];@%]sR`@6GaS4u%O9 P}LC9tszÅ%6挻R$-9{os"Yv1Knc{GT"xxi0؆I8`|*VOPj*:PHZ IS _)_8ݐrg(`1y"ɬ]1t!_<%md /E?gOU~GԘ_W!\_z l!:ELͽ]ڎu} :eخ, XcJj2Y)YV`RKi! E5e[+΅=#%Tw._p7'*tLtnV{Q]Bc o[T`~-zpjL, vt^ŇPəkƅ~Q?'B~gYZ7zXZִF! h^]ŗXiɟ9 i:4V;}A<<ګMP7jlt2&:E |HH".0}?#0Kdu$3IR]S ϫ >eBF&s\=sm*~H䈲݁tUOP۩ NRK8L$0@?WX$a 7Y%i nu7[U Wf?n%(2 )` pʩ/YHaڏ1ek&vR ƛqsC{] b*瑕HM5o=zO?F2m q"I43i 6|gYZ7zXZִF! $p]ŗXi%E` impp 4̀f"l~ >;KC><5" X}M _I :Nm!kߡ0)f/w0khH(&Ӟu퍪]ґod5=gyaBA{m UPS9d@mFa+ݏ(ޗkS/o؂XW_doTfPnSPGǙkE@ ʝ]sNl"${K4סdrjA|,u c䃵c'MV0нӆ'UTx+`-zj {3mW!WS^D E@R؜%Fgh6lhk^&ֽ~5QP@nc[Qb\H:wtϵ4wQ0C_87dRR.4>Y2V.([5m8!l?; N+GUL`>i bkd%c6T$+9 p^ڼF\,i)KP3[Çv}T @Xm Ë槥ASۑs`^)F2/"GOG C#1\@s`@ wO6JjDspڲ>btQ . vz"{\Ç8 !m%|օZX9pMeԏʹnS[{KyLg&p,S]Qd2KAWaÎ [jcZx/dQx/euiUc|,#ݔ;)s uR濩RY8]=$"W{=)o0m({P9{a~#ÒZ'{\n}VNhtSi nG)>&*Őj{*B NevľAv$kZT޳c`0|Mºt8dn*(R6HKV(gYZ14526f578335c98702545e184d4067c9537e3ef9610e66d7bbbf591f95ed39af4ee9deb5317eaac4 a456ffa942f4fcaf4c6db05ca8ae579617e66112 81583aec205a828e534278c3b9ecc5ba2af32316   ZF-UNITY