SQLite format 3@ . BBh77otableisabelle_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 77F9 dT ]S Decreasing-Diagrams-II:threads=2elapsed=20.372cpu=34.840gc=1.324factor=1.717zXZִF! A]ŗXf1-/6vR[U G<%tA)A%rVɘ ,p 2~r,i0g-̗pAAj߯J I&))ݭ1(U f!J%n "Z |nu8jɟ"S 3WvĤ@!V__/V'C}wT";Bfl !:BǨA☧kyc4{kFzΠy"D :<]rЦ1T.c(w`5P7 3y0|t wp(ԟ(K|fƋ}8_:O9ú\;0rGok`[Ğ 4o ѩ3fQŪj\w B~FJ}u) E?0;tJs~i$ `#S!SV7wJ?.T|풬u.{d@Դ41FcCغWԷMM %͚!CcWv^jG}oybuF$&܄ه_҇:f}[_c(klxYD.}ܣ/H®Հ`O#Zbe*ḵ OW3 ƞt]blUev,HN91$ Wu,㲘 "̽,.XKaNrb4l ~(^V% ~ryr!&}|e7"f.4{jCRZ⫞M!p#}9ǟ'͖)RB4* ú)S\L>fd7:w&̈́TүS$cZ N-}WL z,Ű;@Tn UME 4RuS~"=R#5KͮԐ6\~&] MVcF}T!XjwTxss57Cu`=cQAGUUK:S:ߕɻ `E< ;1hI4B `tݱgYZ7zXZִF! p$]ŗXi%92M!yo)Q)i uct-P^xXV}n0ӈJdž(C[,\țFM_Ncw"k׿S}ѹ;kSZmf)﷐SpX괒oUHOৢ^U+.k )WnUx%݄I0Ps [9X?қsg5k|6q8O=| bvj.f˘ɾAQc 5qSrdLo*=?UfPKD-V VYZn)8m^#XtmL1ق6,[WT8ԀXS3w$Ox+fVv<( L',k(1 ^=ЦI̋`9iT?N]SSm8gp7B(3#Ec.1;#nV P+s5tB $Q=@Ց&Mt2fMe-B>+>D.TJ}>1)°$.e"s'SʐOF=Q2R3r:FtۨR%r)-o (|{n$Ȍ1Mğa' bLC)_Th4g!Y'u"^nz<1Sx眦bf b`gYZc30f5e4b626d64b21e13663a3973e3ee19cc488802339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 e18eab774fca0e276fd5ccc2347f5041793d975b f13e4d3ce7806cc97ba468bfa6c03fd0157b5405 9 Decreasing-Diagrams-II