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 ;# L $ ]S]KAT_and_DRA:threads=2elapsed=41.093cpu=75.464gc=3.684factor=1.847zXZִF! 0_]ŗXf1-/6vRZGq3۸,+|]-ۢ! 94Td# NB 7¡lRF%N!Q7Y|+}3 =V7Fe~?ߡ3jIBOxZͺ^SʀJ윪-R]`?ACMW@MAt~GՊ`Xt鴈P'{g|{jtNTqiD q0k<܉~x]מd7kbZ߭& ~.Ђw䱔s%HOft`\5񛛉 # KAT_and_DRA"hXV2 ] pD"ߘgޮ&HAܦqRPd _ a㌣X>agIN[ MNʫV{S}\)ɖӅoQXEFb'H%ae)X]JTa@s_Y];&';n C҆_R+eWw6e051amc$C2;A0ʬ7d'ysiJT(KՆb(^TJADe@J(lZFh=yЉp"n9 ZA V JfW\/Q N1dx H~Ns LNlˌLj$,%֩⧏՚DY+%[DA}4ZbV@YqfqG)?6}rdtW_V6LƒG ulR0禬[*Q,HTίҭE' |΃K[?ʲ0 +3D^^~E` c)9y 'f>f;yםsF0n#ofDxvUgBB|-5h컊bNSޫɛ._\S0^.]/<վ Hs5mxZkGӥ wBЀ|fEZa!9gYZ7zXZִF! ]ŗXiɟ풂z6Z𭉞7dK-3û%EHdAj]WR*,щE?cok> < > 3vi_N?H?3 d柒$gB^ŕwƙ_h\t@TSrb7E"aD㐩/_Ʉ1Ci C\:L.̔p'©1Y^@gAOFn F"S_ZhAQ/IM )WU1 ~(ZHP-4:1B!;92775րh}?(<Q)Tj㟟pd\`Cf^s#DV0$ʵ~m9 G^7r";"dFSsYhF ).G 2="z`,{ !o Ɋm\2 y3.> tEuòLVX"-}~! ) z$v=WKzܺv46sC] i" KIxrq, ;'O6ҢɕOQzYԍ(XL]S$-ٳq[VxԲb]1ْ;yG4†3 Seh=cqk\JB}V?ec$^8Qã&}t~F+*5kR!+3mw ՍG"S,z ,U5WU jo*5:kz~l˞B(Ʃםؕm #> [0$GϑSEtF~bBfҴ̆S癚)Ar>w gEu5.1rlM8f3cFQ`m>y l~'kjޙI, %Fn5PpK`Vp\q7l^4lJd%=U%ѣx؛FV ^W(/T%RfFH߈0m=tM{=lEnu 㫰 N HRii ~exP٤I-,ps+_!;1?Gh;_O*%UiLHH̜!4@OUQm^Zu^LyPK uk߲bW4|D5Ji ;` T`H K0}0O?OYq0F-̷mMWӘ