SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 wwz#,D ]S]Polynomials:threads=2elapsed=154.081cpu=256.936gc=13.496factor=1.677zXZִF! L]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=+I"1s/;菐:q_AD`s ,uQ(E9oE;xRfFyuCD2?劆2?`nOϬC)Ldiq$fMIJ”v]GLQS&dYYfIom@΢3fڐPK9+~h XGE|p`aMW|P\~eľ=,i<2%uyգ;.@ |:) }3CNϞZ>THO$ӊqaZ CS:JJZAh׼ M= Ps+ʹeRF^4*c6py[RZrSz;=`FU9aNehnlX,~$qα]&z;ݱXOP69@WW!&K/Qv!c1VwOwq|(%1f7A:1Ixe*-pSXj -ïF }j6 nUWm2X#'ҽ|`EIoahD;?WOބ3;ųn5)noߦ$![Hr],LK75_E* J~n#{\R:r/QVKhf zeD-<ֈNE d?ZP֞ȁ&œT.bP/O=AѸURTٗ> _8GXz$ҷ#krZ ZiYr&#lN Fa$AЫRqnΓ87Rs\jq o?{!ef!]ʝ\1<JeXx>V4| ,7{R*(^77q ڍ'^2Rm%Kٶݾ|jɚ_pA;3Oq-Ç4r-jS0. Ǟ^\*bS=tS7\ׁӇI!)_w*7BkזtbfהwS1nXׯL^ld:*dۊawTlSjL46l0!vr uclJ"y&GB)>mX$M&zTr<7;,ĐT~$)cw] NSkdE9#fIC?$zI Zg_K(`Idj1m< [` Y `Plc !VAsGzr*iYt4޺8)"<' >i>"x %bdATEͲGs !"b-q>KWB)I'06V)‡5ljcz!s*kN:?,/l+} `Yg8ud7xj;@m6է9*NI|2 BgYZ7zXZִF! j]ŗXiɟ|E\Ât+.*aphG)%uG%uwfqW?5ds\r֞#{uVWs> ǮҍX&O v'U4;@ רiRX=ϣQpjC0Za d DUMfQE)zOD"N&uQ$w}ٽK.&lT}@qyyUG1-}Tw_袱N6~r@Z(hxؙ虯AN"wSh}fg D}$L20rUvvE9` ˷ٗK_WA'_j- rQjxUt68؃i =^INq?ʨzMVk vxif %[E/q=uS/X=.5{`}BIbD?WIn '~Ml("aDO;pKMpfc]?M mGFcI~2^Oh* *xx;|K$ PÒd쀝gqvͶȊ[~YT?9RA`hى@م X!ўڎui?pzNǟH9sv1=Y3eQ|hށaHdAx '׉d%$whQK"yy鮕JU[{aEh2YO&FLi_0$<N;563Z*?EƒtD{ qh1ᩄ^Ȟ Z˧Z֛vti]$|ZmujYLDjta}Ǯ) V$mM PƸ1^k dTVCǼZ?| zXy7CS3B$o{cn11Da&3(/xh6| pG`6*N;fgS|[͑[McU;^.~reZ])r%-'Z.+p8uy oiaAiptU4Z s,]zx\Q7>KB*%șZ$нF6mo0Ũ/"+wzњL?dQ/fuBu΃{W`LBq}ݯ6ރmmlBb]K4&.C7Fņ\.ޢQĦ|6=>3Nަ̲vDk sWY]8zuQs4lM]pZA6n#ivȕ6h}c]AMѥ_3 $j=y5,'U6-HvӠnSNe)v%NudZ`{q&>_9]M=yÕMPN郲M>d {5t\n,DCWl{ 4`< 2Ib9b7,quolfkA wuTӪЏpEZRgj ;b^9:|=J(7*LuyPշ(B&;+ЫCӞb/#xo!qۀK?ljߣK/<#۽  |ˮer'Ձ?.rsRGHfr{@T̥GR12$usbAa<*[9ғz&ոԨS4gߌ."7}BɳhkE;y5JCJؾfGuWKzB,@Z(|6' `"R؄\:}U@ ǘj@{ =OƏVWO$~  2j!K:$% a¢;3b(L1Yz?Y:{#\`V!XZK$Az>Upl661Ȇ*M/咲g17(JW7 զU ms ZSxG#'9ezwAte"09Mzϴs%Z Rґ{T9ŻHFnFvq Ԏԁ(;D)uP5UJ)nsHg/Ouʆ. adZqL(FPi0+{&<^ N/=$:`$|!jGgw%><2tIj?K> e$<]\Aag)mg;KA]; gIL@ds\a?@D'dǡEIW;L~̈/Moު,`1~|ȦB/,dKЈF}( }86JW Ze8'"q84lk=p͎07Ւ1+]Q_ 395Њ2֭xl ]f6? >4:7RfQ&.^"O8X!i jAp F%[s,m c1R  [֝R%IT`=*_7=mV (Kbwn+\]go~A9>˽#Dm[8  ;*fS ȰA<4fBG'LS`s%vW6 x$r.!ј)f}&[|Ǫ1ªǻ "m8МT!:ق%۹t}@<%P'*͏n JK̃P`؏/FŞ;8 ٰw1eu]'{6RC]'1BjNs-#U|ʱk7lND7qhzӃ1Š߾%i;zQ  ZWS<#p %ogf:z~O#tTw)GmJ !Fw mN;Wz]g7ӑ=-LEhݙByQTu%KAuml|Ą3՝ (xȕ5]OAo",=/̤`\N9X՛# FJNZ8rEivJv!uxq:7ӿ]7!S0mc=By1ENKk:ɓf?iG`YM輕(mEVRSr/arԩIY %o3^85.ݎDB.bT5!x&s-EG?.i?fO3]o&(‡HN6q¦_$"EDb;yX A-&4;a9|sn,afD;-n+Rh1`JU;@_] Q$3VXß+bWVmGcc$mhpUy?rAWQDqn47, 1qYr4ΥQٹY oF)i@F? xߍF@f~6NxH#EXo?qnqI2Iő+/%,EAn^朇յlWf7Xl|-Y>tЇ`0S~ Űo_^AfdvIGPkٴq_tSiNXz$wׁ& G1trB,Uiݐ/}@9$SjHlqJ1߰~֮q̜ҳYQVl_8/eti" @ Zo8B -7,L`Kmk~t2ڹH;3KڶXvq┿lU6z\hݾy 7> ]>lf YxB5|σ85';B 8& m<-d|q@Y#zlB-wx-nрE\Xen+X%mk߇X2Rd'!s'nO /&1T'G*Kb {W٤J{!ù:,9jF< _և3U;ąx^84;AĒÄl'6UTо  F„Ұs$vwa"D2$iZpnbq B,s--qtgHi`8'Mv(n}YCL#R'rDÐtp|]xڏ&-e:-b薂w\lt) {k,| &7\ty5 M,kn&^m`=k6ѶhȻ 0tw1~LiƫB: mwp" hMH8ߡ$2ó<5."Cum$S|wߢX2gBkc&H.V:S¡ -!5Lx78ls Y-EYN9\pMWdw (Fn-+$6Usڵ+s8.-+zS$b=/ JJcO,@'8)6]0t_ܴl&awi"4S#{\zJ.[0_KdLd?L(>n)9\ >{j!32h'Jv1Ϗ)j'砭/K*z_IQd=<O*((%it^DgU> cv7t9r6*=]uKfTÜ9gSS>Osa9T=;fN]a2;edhӿ$S3 #$K܀׌U7*-F,\O|7^(=9b4 3xt 9f c8g,Ƣ`DZ׉Gƛanf 6"3W/1W.s=͉^`ԥfϏK @@ ?V hzTDE }L뀾DِVX ɪbDZޟ?('IC:+.!crK}qFwW(K p:V gH}N](yJX}7$ХgU5YȒ Zkʦev4-\$'6mn\O:7h$I\@7%7~;YfzmX\K+P.bۂӤ7Y{ʁ྇ktaR0g 2FJ7CCgM5z{fȘys]^Ye t^:(-Zpܶ>s{K``^760U%=?wawF -\F-PG{aZx_5;d[ .gS3OK$!e>o("BW Yu 3{U_uu\ӳOn}=%i}^RmD3Kaɜ._T@.~ WֿLYչd9 `00ބө g!68@X1[{ s@MqRt,MBU~⾆8*8gJ!pפ/*BP¢S&qecN7lqv[65ɴW'~jZO]\- B;Urj2% GJ)y+;t`7tbffұrk娞vtjU%:Bea=1Z#Ӿ){EC[od;.B%5s?ث,٢b9M?]yIJk2hv9&ֻǤH! "YD$x C pVVsIdjPƍb펞? k% e+4@ydzXGwcW$.SbmpġQL6_ AQ:p$x+(_ ?Sx3.#hˠx BrFCF܍ `uSН=5L.p7}JEB~ʐrB3*Rw*YJdmĎHv1oTR}k>%@Bz73]+BhZb*$  c0jWŞd YH E)!gJy_@CaBvT)NV3+oqԖ8?y&K⭳c:gqR}/>`