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 --H  s/]HOL-Word:threads=2elapsed=20.786cpu=40.676gc=1.620factor=1.967zXZִF! ֋]ŗXf1-q恈͐7ӺV /K!W8DNA'EU`5 %α; &&U`HSc |9O|X628r6sMIFCUjt=pf'in|R0) aT8|;_}oV[׉mnz+;Zʲ][i:r?Н8_8aO퀞l(rh=#Y̨lb@2A,Umߥ I4AI`K܃a˥8(5 0Y(QxA!4P }$q"2O 2B2eqP5F'O0 5fx;tBKI0\Aȿ9ITFB-FCU'^<}Z9[FqjH..DZTJ$ƤC͑~:Ԧ+q@˱MyAΊIX:'*N=^'Z&Jr꾡k D8n|j$6rl "$|2AHD_$@_M%y6 Lơ+Ѯ} ?E]~a{2ex+=+sM%31f엋T:$d@XVJR1+Ӆ. w-kŒT?␚R(EͪWRȀ"uS/ hYjoDGR<ն bzyKY5ּP/f'T7\~ iMu=mR܅]pqؒ;+pg82mH)$;Lq[D=esΨ>ɳXf.4:/kf;8V|R/yVeƮAi<f=XvY9Z&)Ogrm2xeSO3##7ϙg} \{e:sDRvaXwj2.4"!pS ;,ͤNJIx\q+-y3qm/P:֔T0g{Bu1f̸ƺL*AO#CtF銤yV(%]9I<k͖>0 #ҲhږE]dy Y1)Ȟ|y$Eu#U=~X)~l.PB!u~z^Ȁ"AuV8JXd>0zז:PR$unG<=PWr8Uǐ`)$/ܼ *>dnBL昳5("o=6 ҎTE ē>+ӟ$.zT=(|T< ߺ2QKZtmF0YRҬc.%!RxQ0xu1_Q gg4vn-\;V͗ ~j֖+Q9ǛnSםGL`$j)dak|qdj l+.-=}~`|D-;B]6 3Ӭ y`\_z0=S)Q?jK4 Ɠ%ʻjuP'ri3N#?)+K`  ?࿉Ӑ#Ū:G6NOVu]"kCGEX cO럦١u>\ VlH,Ʒ ,ZԐBJ+8Z%ۺԑ{AxқG{.˨iam(H|p pv~tld+fDRT- ?Č^Sƅ)yt( }$S>hBziDt::$0T `ʫkiqzn†6ȋPfW@=OĞz^ M?#|\1F9X8~S ;,ih~Uy.~!ɶD f gR8(Dj4)埋n|p^ Ʒ`eRڳ(!~RPnql3*)P7/s^'Z/1:f$V80Cw8YMgㆶSkqVaoZnihne5dmj[XBA/ul0M79 xRY#[ʔEmFb<3~D4ظ'9+x >Gu˞@ U p(5|# G sIy +[5DPo_RNr ɨ);h5| &Z%Uv z^E`SLcku:؝Dvb)"˟yP_;:5yx`or{عc !ߕpy:0"WVygU)A$&qc-;;VKr?}:b"-fn4ɏ+SeJ|EebzVO#őf|瀹lb^6E.˫_:ҵ]g34)yUt̸͕ Tߛ@_7tm寯Zxs>GGv6hhܔ{V/-:QRt [>G͜ZuJE?&d0М _V>TVn   HOL-Word(ߋem9n#XEY1~$wk!X![ >qZfj7$JbҔAI:_ʉ%}XdZDIUfEݿ.tQ=ՀK#@wK-~eOQVHZkm9!>^C2-|1 \0nY[C0~nVfeP΍Gr 'F㽲0nO U "F#73{!вa!i#!8+D2P'ScH_鬞P4Z d>)T8Uqr͍?\1c^7:.>!i,3ŠGvuL]tg$٬n\VBhɋ) ێ~po83y.DNwᱡrfۇ;4T/A@B}f}nv/OgF%ȇDs=/}z8~69j9%[T$!8z2EH`n[g]N6B2jHW@ą//OX(^?,ƮE-^o&pѰ17;bVar۱Og{E TRzCH+7DU/݉I%;s[YբƝfUqH {C](Ҋ $m}^Rũ^s{E >?(fq"cyrWjD<_r73uE|W;}"ʧ:oĸ̾x<{_wYJӕb~d;(rA^zl +s<-yVy8)6"b3[>l&Xes۰JuL&YnW`8TEԌ]lv\ X_=j:HZ=-&Mꅾ;a%l[ҫC ߼m†Gf"0X滁AR:?&g4i@9{BEFt Ϻq N"$%әhXݕ:k3fU6vq/ئCg{.Es pc:i .vyҡt,;C^pp*ѣۤOaF6k>m$%ҙԩڅ jH2Ftwi-*'\Rwu~$^uu ͦ,rF? @*q#Qfk$!8|S >5&AF -ߝ?$um4A\u}"W9gYZ7zXZִF! sG>]ŗXi% ţyÕϱ"f%o"H5+_F/"6)ׁĢ;Q4b_׆g7y( xEGbS1-ot! RJqgNTiIׁ %zi ,ƻIQu,/i ֟Ja!]iVmTؑa^% ֊l+Cq ;RHYzF]-zHH|z!p~vKOOzk;2ۄ!H!6 %˪Q5W[L᎔qz'Uws~$VFeJET]o&"kNJy{D)0=f]-Woɽhg @ߩEIb {M\:'?9W=7D2Yi;8.q(L[ vҔ#-BkycDOBuMŨ cB(Z4oBQoɯA~>TMW6Yb]02!6E-$6+jg0/_Ҍ=<(e3wyHbR oFݔױmˁZmG[MF[`rk^ZISZ