SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 CC: t\ ]]HOLCF:threads=6elapsed=15.876cpu=36.932gc=1.952factor=2.337zXZִF! 4]ŗXf1-qN?dO*4 ᅉ(Xu>4X_j`pfb&H@dyYGvQtHt)tĺWG<{P偸WwJ-Bd2 pz^Ud? :Z9}ԎݔOOY?/Nb˔ǩrHoFUҫj<)3P A2>;ըگt-vHfehP-vR DLkojΫ3$((;)׿}FN:*Ò3kc숍#GGDp&w}3#_BSvJ.&jBS8mnsZ?!u27CPӇڼ8M.}[2~]SǎA'z,- !IWMl{Z̒Kk[TEZ}j{>68}®nlM؜5!RpT)Aft!%_ZJsX#GP#@gPz^J-0{&I+~43;OIxyRI`.׋q)a"gYZ7zXZִF! KS]ŗXi%6At3|\᧩s(=jIE=|@pF!w? w[_&T}K;31]g têgcπE~4ĖG~'qVFs1#[r<,!b3HkNoAaj}iS1XJ)hx}GgU"CIM;%{/R =":dfԍ:0 #W n fz -}T+oƫ;߼SrZxՆ6 [xI7V-w]f~>%m9HHYpPhBJ1lZJ##%.HlqIM;.4<ӡ*Zޭ-}mnoxԝн`]uA;Z;26ʆQ7ZpHNBAN>?gػeⱰ{xP@/-D0Â M22ʙ/ՋŒq^AMe;wce+i5b0<+DQ{&}>G8mh!, DkĹaq;{ 6-N}s*Mޒ6kֳ#d]0{_9S "cx*'E%P*3Dx% uxN۟VMLNXt"Vx/Nt&H8 ğl)Ef~PLLǜ$Y7GMQԊsT mֵa;4`I嬩.yR/hdJk.m܈,"k0l:.͆k(v֟1Ξ˫#r\BMdcPL4'=ҰQ Kkn P;:5֬ETP7{(񔔎e:R`Bg ՙ/Z@VŷYG;JiE"4t ]SV㴴Lr \l8/@%'p=PzbcX9H#L9'+zIuyӸ,P upLՐ^R[-*@@bn^`s_Ջݻ9 ԖqrXgYZ7824ebde80bee3bcdabc08094d786fc01963a2e21bc35d9f5c260a07418d50e521d7d63c2a5eee08 ceb5af7e7710e56d8e11a352c6a6268c805bceaa 61286f221934408c604d798e58d2aec64645c74ea724614e71e41e9ccdaa016a9c68315d708bf4f2  HOLCF