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  a a' t< ] HOLCF-Prelude:threads=2elapsed=41.491cpu=78.752gc=3.696factor=1.907zXZִF! 0s]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*k7)(|CRj=,}2g@G$9-y3=%/Vяo| b<6d4֦O<|"<} [Pٯ$3nL'?t2>=s|N|>-F) T]*䨛̀.;_9򮶌\}䏠_XF(v_!ֺ7%W 7װ5r//d<2P3Y2+{wAޜAh2 ZdX,!$9$)2lDn\--\Ĵֶf;ë)y _qM?}$|]sB|8XPD!kN^r)6ռ ,f9a]Na}Z7R2r9`ܭjP{8}a: NuC&?h{91Qi/ɺ+OSR+fTX/N ;wb>$J 6M9cZ?_/byk2Riǟp£ZΠVzVp7e2D$uxYU:5ߩS=+ja(.DO!] Nܗ4h9D1Ea٘X2_er,){`}]nGTrgaumSr7U~Yv[)/cqah@)s3p,Z*GqjWB7PL-y&D=^ayjLy;\Fn|S.#]ܕ^hӈ'h 1x9.{C"F K@֋<Ӓ&g!w1-hlHmx5wftˉO.E p Eb*$9X(ծzT1d,ˍ #R?I>-waKNep9)m(9d䡣sРnbCB'.њOӢ=qRQN'\E]5&xnMd?qѴY@ ê)Ə ӌ<[>ڞ O9){s3pE>p'1ߙ4A@#رn۬h,fyףb,{uf!$EIKv 71:(w^V+#oFra:^Y3eX ˪OhKXqT|.:gYZ7zXZִF!  E]ŗXi%;уomq<3f 5΁K@uL'9փهF)P9Gzߊ Ʀ/5Q[`{~?2Ug`!CI(rOGCս MAKԦzu}Fu*ٻ!g+Aj|8'+t @/W1'䓘]4Y.`nQA~wFG$lll]ܱzxYQ:H.푁Z-UZLiﯩו8ҟ6^M߱hgf<zeY%cpyh5݌cv{ 돥<㫿zU$>Bʭ} ?V1>$MFE ? ۋ}L+^@ 3W6 n2!z[B⎰Y*a0 _+[QUȆhv[IWIm(p_|GCe~ɏ RwY7<0];[·MҵL EAl`;c2OĔF@1Y7?-FYMxZM^I@%!e&.xEJ23tx ?xv/behy&Fi3m;q&-fE'Fa7rGe{_$ E-`]d%-q|jtݒpu~-X-܅PMtiwھr]]y&SӸǍNYJJgzA!.ȵ*o,?{ɪÖYu8nod#=1qy/w^\#Z7 U;D".k / _5/;RK;%CƈCSe<ǎI;3'GG4+kZuufh"ȑ~>=pd;Pd/RrTR,*Q!}E#y ${*tyq Ha)P XE#׭ݓ ½NA#u%`Lo}sfTBW"kd9{4&kVc>GZ՚?h%O 6';턯2&Z8=i[B!A :mvm\Zsvr$LXȘWߎ6cS~NJVz?Wj{7+Y֯yFI3/zY 9 } =uI8RF#5,V+n&TRK15}€GS +Xys/F; m덹kf̨/wԝb/ Yaf< 74  {1 -GWt&YJ&;0rYy\aSMQiŲ "" ɐ彨3 .0GJJ3oÿ 7P{ `\KQTW?>UTF1VC(0;iDa,AyxmijIQ%G;RAI;T5s<ٱ# z; E؊r-|"ImxjX:Atǥ<`ŀg!u_v~K7q-}OZ acabui'I\mI~d :Fy_Wig{`x֪y_:ոkhx=liM5D1`鎼 C;6M&DEd&:WPc+诅]Ï'uk4XDX aEvc2lҺ}(55N'pO9 tCx%N>Q]꿀bd#ȭh$+xA /:Q׊hO=+ $Shr([gI!HcKH GsNr_|?tz\'rZ-fmI8B6X+H~cv#sG렭/~LA? M ͌uhak:.G-FD,je'cx<~96!-@;ǖ@N/_