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 ss + LL ] Catalan_Numbers:threads=2elapsed=18.776cpu=35.276gc=1.900factor=1.887zXZִF! }]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJtSzlXQdѶi ۳lHC>nXYm0ֳ ٛOZU*\/ w뿻C˴N|4#@BM @6-t9D>\UGɾ2in&`(L67ltD=4}, p'ubyquu$a S+gw?RW LMNVx'~j)#Z0?[\u%I#&lrtrdˢ1y oX0/>xÕ>$f:u81ı۔Ғڠ5*ϛ};S < tMi,?IBZv5!@/UWӧ8 Rҩzve.1%|YAQ%&M%psjl7/$KPZd˪&x0gYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7 .FA! ?زN H(kIx9펱ʶ%G>Vj\yX_})YOB@Z x Hϲi8L4@4v(KK~+U_o Wm<Ս'q#U|RC=aet|9c>;xUX ehN{=w-O YB5 x@ױgYZ7zXZִF! g]ŗXi%;C駜Kn}dXIό6bעL3тXτr&9ǕiG36_;uaiP肫 EQ vY?tD1Od*l5^8;X-j9JU yz)LȆ!7eC"yKge[$oJ_! C=<rYF3 4 {LhZ(9^O- h,n qTœp%`#5^λVwy /`,V "ۇ)P6wjOW- LS 7-Av]"y{k\PU/Mnz|Pyۢ,` \) 9Ay0Wfo}5ĿlQ*W".|ZRk,?pի ʐ7enzSwܣ⋑u#۩ۑ^sBI?c>"1[%2C9տDgL\qgUe?D?T"H 6~UD ӓӱᘎjBղS>TCgАe! >!ۺ^$m%JㅄG[ҡzH|P; 9ܪE] SYSNH._u91b<$y '(6(u>UKС'&*G ,/#DU15[Co3O[ htZET)pYڭـp)N'ɟV"q\ڌf8QրjH+(}%j?#/aV¯úPH~=?ĥ/P,\Po9De] +;TC8@~~a̯`/toc<__Fwv/ ȖzTguB2m3Z< U pYg?rza㠲n~Zp,nn,αS , n{C%