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 S',t ]Subresultants:threads=2elapsed=75.750cpu=119.388gc=2.488factor=1.587zXZִF! ;N]ŗXf1-/6vR[]ߘ%Aj.v=/dM3Y 5_QM|M(kg78/[Ki (wzʻ5RMe03-`ͦh1(V _L3?N)8:FI jdѷo{ewcH0ciz {\ُW+(91tߕ>{ bm3]S_g5[YJt"xMBX7&Nٿqd> $o}؏ 씥ɫBu`I>ܤl.'$9Z3QJ,=Nv}faWt.|bD@Fd&򏖹ĥ}c_錪@.ppޅKPL3}l>GH{)cHNx<cM ϷVMQ(8fG-`5Lꃶv~nÿԚ]ۮIVVH)30 L5w6/f€}͕4(1WtdItMe*,Bt/L`7Ϸ2u)!?Ѣj7Ѫ|`=!dFt`0ͱբOA ǔ Q&ՔYǹS]3>76'J2#Bm o y Wr\({x#S<,/*t )%d޴;BAL'>gg3@b,׋8ZcmPZeZ\SXf?Xͤm$: 1[`4I2*#W Ňc$p]#aS`KF\W1߅؞t"D %nꭉˢBG9W3k7jW<"9"^ \谖%z54lR= jGKJ´,C莢d(8ij rv:OaP4뉨b|.4 w|_gYZ7zXZִF! s~]ŗXi% ^1 naDAЪf 4`s9A؃_~\=iS.<.8"ioڲOmkp`⑿pd,ǸeWK8-'O0pe N'WqDwc]>ѦHuk ~۝,5Voil_O1Ĵnـ(m9fYx62$O: 7_κxϢ{8o^*tcVaC)*& \` JScjΉ3>E`44.z:9wS@r `=zPzpVH TmPA4F*h V u$HhhJ=p0tZ]~yCl TH-w2堧pB2DdxDѺD}Ռ 럐̬=jY<ǍmczAîi8* z-֨?z5aqr&|ktV 9߷VKp ü 90у0n!a`1> q+`QEF,8H'}IjKeɩ;hHC9hDN{HDSSrOUF{wqTeE˜Suﴓ$[SF„9*6Nې[<޹zKA۰ICch鍝Ǣxs~Oha^lߨT)ʼPbcB.>Χzǔw},m ' Subresultants48T@C>\,ILfi%͠4k\ݦL*B\l3͜2FKO'XƤkZʱĂr&.# MzF2]k\L"rUN31(t`רQ2';{1{{F\,k=Ќl,]lr6~?\lAuS;xREr)p~gllcq2S~tL9Ub {`d=AtiHzMu7bLE$ܣs)e@Gvp/eY&D.;zQ^B15ڏ 'Z Hl[ińnAQ'ҺqD*WJ |>sD ~EdT*-Etk!2qam kEqI#IL^q_+rzO/6٭*e;@O5a{#_[ӵOiNIr0ՕɁYb8vXS߬Wȷ>WB˞]vW)rӖG N%8j[5VkjNrjt{TZW)F뚅̈:@.EA+ѽ)_DQ9ȩ#tpun9;b%t+*#1h_Ҏua9,=pC&PyM 6L+ i?޽.#֋kmh]누h[ܩ>ާl4v#xÏΚZn{BEB::¯ܪY:y Dgd}O͎# kgq 8_5 c|w`yDLm@Bus3O8hg܋rt5;6P)Hz8B*E oՆʶP-Q΍fꛔze nC@H+?"tTn{ ;V1i]GL4i#4C8iR0+秉D5e8,WHXJۺRBRJ)T).27ߊ)\9I@r_ 3 TӔ #Ea2r8b(cL-BWsi>QH~Kv6&MHa[=QAfaD0SN6_ĥ[&`5drT%1c oFZ@3Bɽoʾ:Nx,̚_m;}ZΗ%x0Cbܙ`ZҮl9nh2u%2 Go+haM V&m[[j G'(M{tL~|jd"h#X ܸ0qvZјEa+?}<}ߦ$b)NlYZI=HцL‍ً.@:Ϗ LFt5e}[6a蚦]j&4J#j^&ehCP*-6Gu_T)/&Tq>ҰE%0!`plll~GDtPfcXV\0Ju] $1FϚ S~{K,ץ}h.[:It8੓|bЛt ^8?N`ye>{lW_7;lxbIRZC&/xԞh@Ψ*ȵ(eϨD 8Tc MR3N ǰV'_7ɖKQZbR1=S@?fũ:X]?&I0IN?H…4GrGIZmS#) ygYZ2307fdb27f307e4dc76be26838086d686630ace3 380fc9dd22eb4bb29f0cee6ac3c6efe90f64cfed 3818bbca84906e2c3eaf744fa00a3037d936d30f 3cbe20cd37dd2ccbcffb07be4f6e55884cac89ca 3eb9bf0f7f07343b3fad0f4f859d143e72cf853f 63700ff9afcf9144a64ab63006adc45ee65dc47c bd78f0b3c38150b926db087743c6ebc275a6745a cca922a582219c049022d9870519ab453c52178b cf2d4675f6049f18240b8d967a9fcab24147e8ca e5690279158465d6287d5e4e16ba3977fc95c57f fdbbd4321616d58367760b8c78eba43d64a2ac83728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c 420661ceb8b00b46fccb091902e005a3c65de64b ad2f82efe8061edc5fffe7feb8429b70e3c27c74 73eb1292243e8f53b194f73db6d95e747a8c0424 2f2aeb3a8e81851c7f0387b42e57012ad05ee2c2 cf60caabd96230134f0efddbe5a059d02b58b198405333650c1046c9f0c2db012fcd0c93ee42ae40