SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info f+ << wS Catalan_Numbers:threads=2elapsed=18.773cpu=33.528gc=1.068factor=1.797zXZִF! $X]ŗXf1-q恈aldC>14aUVnp~<_M^6^Y0oy amGLqKCB-X~Agqݥi*gT seXa7A7 c3lۙ!;-{k$L82 [ONYP )dUfr.gq1ZBYpnwn?VO:"FO<̊ƛ meHTVC- l7k]¨ Opq{,ϒ]E ?6;vQK`<6yl K#]%ΝZps\ݰ 6 ̜XMI j];9j AXLKZ`*8ֿ,aÊiwԿcv+3%DV 4})_ZjAh]fKVMv蝱D%^a9 g [7Yt + Catalan_Numbers3Z]} k3{VRlm0ӃJڿq:R\('%>1Cjo#кcAꬕӃ_kHSrL<"tDeq~Et8zR-`S֩q43bC7lE](6<¾ZA0S~j5Rxr8]Sw؊s M T>XT+do}}V=J Y#b=^6l2P驛?퍅p'`WzR &Hb q6gaX46쒧DV"8I I亴݊+yn|SSTtǺӷzF)ơ)~ꍔv\GF8v6b5oEAS wtI Q}:ĴMez6v~ O4xds![Z'2NBRM;&0EgxnjԨ:j~|~=(T15"1 '70鴍1s5.@+HQi8yT]I; +BB.=S R%>,3C!ĝem(4fcIDyJj|핝j~z,Q =,qf2V)P/ɽ >hR7t񓞃i%|n 3-V>X@ד!7[EĖ7}_ -0 թo ],U#gV ۺai~ѕa$8 cދA [F% Q! Yb<>tZ=PMҰ_3t[a7aGFyW0qW{a+5cbϽ,A1om%Yעlme!?eITiud,a#? ]/U]'S5IүosQ#HC2|fTd|0Iګ ^K%LL j<!Zbq'@xdі0\wb|,*,LqYE_dHVl*o9-^eMFzjq-I5Y[V.: 0qvwJ ČM$7sDV|}C@T@\ݾ_Zհ!Yr3f&;J+ۜԸ7*Udx{IAXNm#aV ;R  4a) }:FIN4w] 6@N2p-dHYw4A(f,x HPx-ZLO#7pim`Ej@n6D % J%HوzNxbt(ingUApUpkؙA"#K6D5H6MU1hI%י-(SKYfr$i b4$w,Յ.ɠ܋?A_nsN~Z3=RqZؕd?yX#}XN7Nyk49̬'`$?{.a * )CP }-b: n3 Rg)ϯ$hiɯOפPPtR5ȯTtRDDzHʜ-˧VR$( 5¸R\nLCaS_qU[`Q:B;&UKapGߡ`b焈a×=0[Nr!,y T+|zXĸB{⌎ID&\!o7 |18g.Qh2D-&mDbD-Q3|8T\ڈG_Õ Izۜ F C~sۀ)fc~{Y R^ 2az3H4AtkwVK>a|Gj':tKm|Keu6kK$ }VmbwOxm}ʈw]$.r`pds悆p.OooFۺW8]@⛣B9#?R?͏ƬkX aR (SWJKQH;dA_QB[Jg>ilWA\EJ {4'**}i?jsR,kXըm"ĪL_WDlY[q;̹BlǛ7Kr" TU vnHz| &ӥsЋdUa`4ѨJh_jt9k٨[RLLE{n[m6LÞz` L_ ]Z @ 鎏?(a9o3Ei-NJyN.Sבp[RaNְBG\ʨ<- cZ%BOʬ\[l S&jcI8*=˃0c S9L5T86] ջ^σ .+C^U:|EX?<:~%r}TC: &#pC›̥NMƲ6Ҕ.=<p 6j@9 Ѕ>pWc8]z8Z^KzxPi]"aW$$ZU*ʚ"e -aT;o|'mޗGϥ# ׽yxLC1NQC):0+HK3fχۙ/u+UښdbYɟf.85Xqz&N*G]Cn.4S0 iYpU*ݖSzZܐ/`ęW6qDL,S52SqUG#(qC3nkr -p)0k楽B~jF;/gG=v,?/,1'iE*4Kы|P\ #5פ{k-{٫ߨҲafuEu< gYZ7zXZִF! b]ŗXi%HƒBb rs;ޗ (!F!h@bHCGPW^h@ɁC=n^{vR)mUm {]p"'3ED OG#ޅM>Qtq F|w7]db.R5waT/O2 O{@St)/ƵZ!|"ٟ~/U"]'eq}PvDS;'/ݐeD08▯ y&jT%=ydw/?~-di6H 7'߈7ɽJT-ҬԶm6s}hF{b 7z?=ycqs~hd\ X+%ƍUl9vI+[H(ce:8θI Ʊ5ܒȒ4Z[1 9>?!>1 2CՈU֨&6IV-ְ/&{>z]rO}oٚ-nJ-qU6FC9ΪŠjEa. "C84b.b? LxnM.d90PL馋?NzCӪ7zÅǧ Q](ic4;qK{J½AUuŲY̘̆R=2(SHU.~?ra6Eh l?kv̞>MYux_XO^ `A+G)0A9q>4߰%'-фنвɇ$8|]{҄bzNe'^FBšdrq܄~h928cұ`fڣ3e@*Xr 4ЬQ~Si ^G<vΠ> m$$P[0R;ϐb jn/ھ&wnhM ќn'{*:?/R#p>&Zx,YwWŒ02 MnObĹ8'iv,8y{yTEG|Ge27~2iOV484*d!JVo}0J~j?Uw u