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 6 dtD ] ZF-UNITY:threads=6elapsed=6.054cpu=31.496gc=1.240factor=5.207zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b lCӄp[QuϱȮp^'?i,}ꨊXeS?Ql5+o#\+3cFB3cp@m|g7_TH,FePcFL]ItYb@]ˍ9`W vGn ZYլH*0>7}Hڑ\ls]AP}S6H uv.TatGIkĿ5! })G7O^#> mVPAIENq٬]u\aT'z4`j] ~~2yr w$5L.LB\~L #-,cdNaxHZЧv) o&S=q؉0,,AIe `HB(Er;KɀBtg@9ǹ9\ [Y$!v$Xo顛5$G{BG,3'o1i,K n7_E6 _N&'3 D̓V9]9I$ʔP= /vrzjϓ.{(S՘L w|xc9[$Yq顇'Y gYZ7zXZִF! hs]ŗXiɟ9 i:4V;}A<<ګMP7#\zuӐ[١E6_pc1$ev#]t&ƵfZz=~1H"5cl01 Z$ճ`gD@V ;~] {PI~Uy}5h$,_! U}CPIW?>+slqinͿ;n{G]'ؓ@.\UclP'{%1"l5z6Ο81s [ ~LGFk DM }M4%Q\yr8zpEFHjKjۺ}'E}TG`*5PyU-D'#@щe.3;ĥ\h硷y9? S^rQǑUqN,A7k mm$ +d/s!~vytwG4EHX_DoX{GIp֗on’v&XM'-¨P/EUe܊mMO(h_a&*lH"(s<>.Dh8hM觸bc'+SױhyTg,Bgw1f or(kva R&\vq4 +kⓥضir~um*mF fHxqiR/`P _ec%KVnVSfPAط 1:j%!N Fl8n8[ަh#@3}.5Fw4MeӣE5}("QھpEtKoR(Pq17 K[IO?zDP _xY:(>d1~)ť1Kì 1OB&nC˾+4+xKpc--9OaRfIuFV,o2 cXŏK%ke\S˾.g˖c"A-6r/鸊x:T)T5vEyJ򿋡Xz|:p˒ī2NF b,f>lgYZ04e9d86e8e2e808eafd595196213299ca0acfdd4ac8f8db169a1aed7390bac47335c1f3fb99f78e5 ca2cbe6aa591f864ea080a6216b15f9ad55accd8 04ff4c8d506604ff943523bf9cc9ece23f9544ce   ZF-UNITY