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 ^ |D, ] ZF-UNITY:threads=6elapsed=5.604cpu=29.628gc=1.096factor=5.297zXZִF! Ex]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b :ޝ/ KWB5|)P5J/{$2Op 4;~`&?}>Y{kuS;q?lUR0d;8X:Zp9tļvZG8FԺt}{Q睌/<8Y鄛[qy$>L& QHcSq_"b_͛'v &`YǛHxV_fyȀ2oH$H0HrpQw[&iH$}A\gE+67D^m{ʝ>SۗT,"s)b> [\ڲ|UvZbG^ǩ;ְ=X`0F;=]+` R6evӌfDO!J{(t*JkXll?ZNs 舶(edq`oϱ"c\mM"j&oeC~ӚC{2o{X >H%]GKR m;ełޥ;H8׷oܟ2$P gYZ7zXZִF! hZ]ŗXiɟ9 i:4V;}A<<ګMP7h.ִ9*/r0fRu*cP@0]C5if|-\Eb8tD0 tqqwe Eu`UY?VIz3 `.Pݔ4@U@j6d7`'.W)ds7λ1 wO5a@7h _㿚Kf j|o[s5޹˪'jm=Nvp/躦OTv~g6hߝkDrGq<FB.] ~]apFObAB ܱgYZ7zXZִF! !]ŗXi%Bɣ(*畤zƴz~:b->֞M^Z{"lNf~ Dbae' '+ncyu.9%B8gw9B.Y{뛝`bMMS8/ߑ[$=៦{qW ϔ&ﶮ#INrlSON^p/)Ijc+:WedBb!wĭȹ$C ^0qK+tEQ,(Xf?蝍cLG@B4ʜb])yϒr 4BE@bJvmr,loϠ 1cX#BIbV""O +Zzgu[}Y/ɴKރ`+ڶJ.0Y荲.6ܳ^ 4 #eϰI?!cbC(' !: ’l[؇:DVJϩB,BŁ\(/W-W@h>/M/L$g#iOC=n"yՠUѥN&rJ^S$aT%\Ajzؤu:WsFó'<(ױjJQZxBe$n[t]P[j{Oc8h+A&)l` ̿|Rʳ{$I fʧdIaD}ɨ 9w רSI.}fa uM>0&b)OzReq TFgҳ1A|~X-Qc#4O PV_3ʟKn0]_ٰт[f1jDJR޳Z V 3Y۴J,'ٵĵTsCn&gYZ49bc9a25e2877582f496b15422370c847cc47dd4a8cc758d6ab7fd0d9728cbbe893e534f8f965816 828b1be275ff0e979d79a617d6af5099e773fc71 c974c54641b824f239c606ed430509acd1f90352   ZF-UNITY