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 II4! D  ]/ NormByEval:threads=4elapsed=22.510cpu=54.244gc=1.364factor=2.417zXZִF! ]ŗXf[&zv׷K3?Oձ2?aE4} 3 L#<>D[yx$Ԏ2nDNYԹh8GU%<#G^X@TKYW;8Pe&ٜ"y= s%}ChuDXczod3ΌDjފ[[ϐpxĄ|E1\pYkUWS> S8,UX1n%&VOC2CoLZph]oP/HjbJsxẒ9T٨%y J,'i/ߜ"l 5[BYR: ae֗yj>BmA50gNbL1Hyn#\mwS osf(=nY?E/7lj͟Mh+*aωb5haBk># <=|cR0CwMf 9Y{h=Rb7]"|ʺ#Irp7kXq#e#068^ya*  Avu߱gYZ7zXZִF! D::name=NormByEval.NBEelapsed=11.879cpu=26.600gc=0.9883:Aʾ]E-#%)}YZ7zXZִF! A]ŗXi%GgT2tDb"+EN'X|K# l"ramnz ;@}H)tt'_X98qڦ~E3OAK`zFWT4~`ɸEzñ ~~{LT Ւ}un ay1k koR;2VA`5ܴ/Y6N`y扦2g`+x)i֡EK[lNBKĿ~Cc@0Y>H)V8aT̀^!69M=1i.'VL-XA;W)Z>֨s@eLgwkm\J~ӝihʨٷ!~x9b{~); cjH֐a=J>:u63J5tG( ғ5Af]fGg 7Il7р#%mttǫwLamƂ@2(El󇴃lMݬ' xKC*0wb2NI[< /NӰz'km< .dD^{G+O@F!? *ׂQ=۲ b‹vD$/D)Zv:׿J#,tq%Ìq ; E݂n3J3>ɰ~%btU3ԏ]MT5= &"Cµ y9D6TCH),xZX>VkeaM C^` oqnܠȝnNǞˁc #eMA`@m5xRݫH[ #?ܭ(]m>SD@R-pb4Q8@eE7MȢ!0L7Vҽ{0R@ \e}Q%KcgMZS.s#!4FK {gYU8Q%<~w'?pjRo]x)$MOܾPE۹2ϰ@L@pOϱ%jM 4@+W+ލ\vBZ5ny0NY[$ճޠ,]2tf{}RLuJư7~\(G1)q|(RCg9OrT\ `zoVcJ#0MyiuRzu>:5"O#z{74ESݪsN1xܕ6^UꏣiRRxxz{޼olVHb8%4h>=*w@eT-(&@9g91:RrAx3=jAeT7l-Ckѧk6)>g+{,%m 1+O_{=g Iyx4muKvO {6"6`"#w#xoI{u#C1Sh=/ ZJiW*ݡ(c )1+'\cnq5ilN30|T HO,s߅.WPtqVm]ϵJQ85EPCs/8VqدxH`A{hԕngNӦ#H K񫳐oRdᱛ 4F;}*29[VUE,qǷ;G8͟U7r)4 i3p'*ryLiŤ@A3wLj#P5hWPLthz G)$v5!eGjz!M3fkqH+A~]㴸=īTs2,O lGU1l)d0{tho\Gd1E񍻳Ʒef@Ǥ\g?+Falod֯: 3w1h!Hv5k QΆ B*wxX0. ~;L[1M$ >Ũ3uzՐ+ ɚ̏'_;Ti6ڡP^04"w{SbUmE!ҥ$Qc '|m/? ?rkHlH$)}gYZc41eb72c586696d60d96937642d8d2268c872d901795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b  ! NormByEval