SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ^+ 4 ] Catalan_Numbers:threads=4elapsed=13.548cpu=43.012gc=1.764factor=3.177zXZִF! -]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJރDVM СFo98} h]|\[X8lZ0Ӌ{[7a=n{x$d8x@H…O$N(Tt``y:H2vf>P BPE=tw_'xagIىGY[l:-޷1%+:1|?!t&]*$H!ah5Ou@>#k(Z{C\*y_rfNrb6 c'u$>7F}zɯAR|v.AQ#y?>A;ҌzVF҅ŻfUmYnم.:MV35?8&Tѷ<mkBCg_UK\trȵ2.gYZ7zXZִF! ]ŗXiɟy>W&Jq*|.G@AMa^ Q?P%FF.k^PSte@˃l sAk~e ;e[O9R(/gb +)k| ,\T;ԥd(t6#HB#E}UF_!(w0~)(Zө`24գ/V-T}Lfv$btimM:WN\9CgYZ7zXZִF! ^]ŗXi%L m rWPoj'cJ{0-UHDdRk7rioȪ찚SsIV<ؿC"XNOsY֜g&1)gڥ)&e =80Ls*jF[.nIhw?y)}룹h[C\ 1mV|=YFy^7ÎN`Ĝ͘i aMM웹>-iKσc9՞ m4kGLФ\7ȓ^|FiA9)6k"twlnBl7(=]?R H<2m BV xHH,,ewJ1  dq(*E4)C@%c4.Y 5mc6ݘD(N UİoUC 4~Ufп qi~ao#gN•ȵ:z]Qr#si[j$CŽΏe66KavɯUi)#~nGIlœBV|]uؖilUL )'{\( (4u_u~nN'lWuJM|W/굶a3cbM] V_ߗ^g} _47z{@%.f ]?D=U?S7hT;a`4A= jVӧRVy(BLvN l-m>zâ\>;&3ωmMDQgQan~\vl1%c6l?)[qǡaJ \Eaw^QwiIz&c0R[RY2S=F^)6  ݔ(?݌{0Ŏֽ 3#=W 505PPmne7QYEO>O@O q;Y]F'$%5Hև: MAKj7}ٔKoշv ~t۷IݭrH(5|[u { jc>:FOl-H1IN6fql[S_̟ ˋ3,9ՅoqÙzzYySf+^+01i 3jh-F\!nڈ!Nj q~s0_pD#vzݞOnhv-!LWHՇ7f3%d"5!ERYbϸ,=Ag1lHA]X沯Pq{ng$iDEd4I67&0L_@Si/HꞤar8E[,GVOS[.:*Iu@0jTk<.{?~FyդN6SL\!}D,jr8bޗLx;"!U]+j|dy}6(yn^*I8|lEF|u$d4?Qq|d8e[KZ?Y %F&&WzM!>B+A/ dL,s;/ 5CcgYZa94e83bd0fffba4a8738f41c4530b7ffe90bc268d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 3452b5903839b521e8a25186df281ed84043d834 + Catalan_Numbers