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  _ _% L$ 5 Derangements:threads=2elapsed=57.629cpu=96.792gc=4.584factor=1.687zXZִF! ^]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˱+ɝN(y.;#U3*{+/*oh.n>7jiH5ȽL=Y- Jֶu!+.ԴL{}MtXV|hw!m2w:K1dkCYޛyaz0dlQ=dc%gצFJLрZlذ'b@X  Y ߏHtԌ >0rS"v` gM4U э W $:\|P`0YUεZjH[Td6*B;ԔIV]S#a޸^tOqe넀PL]`}FR=ݘ0mтT?v&u*<%I+8b$b~??` rVaU>seH֖pzBE]׀?[)Z`7řa/W[ږdkDg%5֬T{AZ|,&;t:Y1Xtwq*;wpCP0KhV0X ]3o9V$m+HM/soy+(#4FspiܛN Ŭn!W9vХ2)[Z!o[ugp].?&{=ٱM"Pn&hś)(Š)|=wRL3C{۵:03 X{ǧ"FO7+ =Jw A? $(FAۋItBܗ%58*7;ys .V0YJy|RrNv;mA./|R|k Bx4^61_Z(bgyz4 :d9 *$o02QlDbO!zژ;wbcGe+kD&[@盝OBRqٵ3[Rɓgq܌?_lAY zLXD Cm$~0_$g3ۧ\B@.LȨvehÀ઺qlA踺%tE5 b-Q,g29nj؊&*vPm(T'Ўvgk9.BNc7,1!ϻWpx]oV Ժq"i3i/eU}ߗa;%d8Ti=QȫxK"g$Ros i 5$Ia/;H)!cUHXIu)9Q, ; Y 8 'a^metm< C' i9e> 1}={GE;k6:+ 7sܽxƾC `ƈ~Ο\Ȼ$}8 8,fMb^E&mj 'եBR'& ѪK\mwɥV.UcXW͡}azYBk _J1J.x8G0</L?m?(xǴ.Q T|*UY  N5Fѝhak^(W/ SYbhm-2fnFMirmGӍlȴT]L@9-RE %ߘ'9W-4 p0R4AN]'PumhTO=({p89tmĉb+BV&=?7veҙfY=ڱD%0W: ]8|[{؋r˫H${Wu(lc#7˵\{h_jK4$4S/ɾ}+JL*Er0.25ĨugRvj%ifF.&;uUx*v L&*FwP~nh< Cɲ>no[qN{S4"f*VO|qzW k}I"(v'N#W#&@$W22`7'N3H2-ZFT< _ESo |k* ᝙V .gsUgR 46)gYZ0e2369879c23ffa3af808601205c5bb2f112917a 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 30afac17f29e367c46142872751722118953e506 3409823eec2206aa526e41e503adcabd1945717e 39431008178593cd2c20f0c5c73b9658a0985260 496ff3726f25bba871a78c0bf3a62ec2e149428d 54bd0c7d3fe0c6ca011e2a6df705755ad8d8fe81 6b8b43304099b7267559b684ddbbcc730b932277 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 9bf2a719c4847262ff5865ce539ab70d1e93ff5b d25f3d256bae918966574511fca2002460d90524 e004be89eedc43b00a4133a440c7f5aab345e6ee554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a