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   d / FLP:threads=2elapsed=20.443cpu=39.320gc=1.352factor=1.927zXZִF!  ]ŗXf1-/6vRZlh[`QA\LA_=c!z|@QmǛH?`Eyޟ$bs.@`[~D j@-M'C㻻G<+ P2T*ڇuebI'D|H0X~,zӗ:| Ot(a*I\SB ה6t,uђ7C x::S]$ɖF/b.keHw|#OIY`QˑuIsQf}x__BVʊ/h .rCr?aۙeDڧ\N{D7N1$s"+UxlOl9&y4,% `M*C[xnn[C^ybQd y x[xUP !k:Ўy_VzM]M!e|a;"kњ mxRlw/:JQPWvo\D!pYǶB8Ř{$hRϐ{)¨s:9L^B 37J& &3oMӵ/& "+j>[LtL#v+ej&!>>1*Q=)S8h[_G$0ii?ڮUn(S=d hnH](Q ՘s+=裢vG =|ilg+2Cz D^)tE|gdbG46^Ps64åA /rQQp;ҸT&5l2&*t% eS[ JSq5fQ&  FLP6DŽ71<(c4I3( #[Lc4Ip'ヷ^t7f|jqbei N3y +Fj!ɼSlr<[vՎ&Ա8uдˎ*ȿZNZc5/sB殭uYa?^( ʌi6>`BauY#iW=e%i5L^^o݋ZkfZ81"qJ-,iÂ޼I iECM/8m2At {ʞ:GR?Q>x,'&|lrg쐗9F䃶PvxE?o>(D*1:^%;[/E]v(GE~֤>ѡ#+y+SW `0 m`ޚ#& nlkD1[KRV́57#Y Di?w}ň@QwiI ?֩0T zK-n {X<,L[-f ^y Z68$"k:1m ֩ġ}6C̞# ? N`fgCE\eZaHh ew۞G-@-[T"Z;6BKfm50JyZDoPiޗUz/<5'cG , }ji5N8|&H )^sQ{g=U ]V @m aP*)HF dq2rP}:nXu;*@Օjuql4D<ῠ[ u8B&.I]p0~O2lۍ&կp}TTZZO.G(s݌Ƥ3CA?fXKOfNk^|o=0(< jf\@n[! >3cǤ9 5hsF==Si&žʺt }h/9)9\_y'KnpD [jrÄl!%_w,olE_;XF^T~ 8 !$XƒQ<vY8#)ž˔=M*j֔%8 ǂF-׶HB$m'ͥ—/u Żlm0E'yY3A)`uʙP @ E%)g/<qm_յ3ԣ?n'"+hP6lM|Q84(SwG=yw(Z<@<:؇ CxB!z,SJ6oN[Ju{Rp\dt'=)~Zn|K_K@cRi뢗R&%+r$&B]W+,>X @sOe\V0Rg4XQlGd@+w- Se\ Ir Y6=/OˤD}s2q٪Pz#7Pŷ"1FùjܤLWp:eW5KY$;0HX›5TԽfbE܀7AltrCg̀`a Jt\g_s& # >S*]8׼A-{́xN`6l6Bp* b̶@ rT[@0y}@1h4ǩX&]b}3@3JA.(A+>jhdx(xTrAgI{8pfkӌDuNɇ qI0yOb~Dp3VkMI+K]뮴n cdD^lOwOS̞WeM~u[Ddq349HL~\pG3{]UBM'W 6LfpJ)u'e|[I<ҟ¸ʪ$JbZPh.(`;CMpܠK) EQ+W|~އ iH#z5{ n\_QVKPT/kgH|%eE鋙ܹ{eML)c4fP Z.>+(-~Wj.h`0ٜ: