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 + <t ] Catalan_Numbers:threads=2elapsed=16.461cpu=31.052gc=1.644factor=1.897zXZִF! x]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJtSzlXQdѶi Б ^m߇]~J2hgOdZ!A ~t".Z 蝥O僫|5ϫET| DІKwtj>0mC HN4rYFi:KaB-sdё7Ä ZM|]]H.0~)q P÷=+pLG{̘cfX V4R66Ô~VOfcm&E4J"{ӊ>N=5^A`Xc'Yˁm;zv;ʞvX2df ;!`,O#u&gYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7 Wv7AjE}[jFoͲF~@ζ* P~JZdRe TQ2pCXF}` &nuz[WŴ85U0gYZ7zXZִF! []ŗXi%;N(-\޴z~:_sW@|KP mE{oFA9W[DuN47©ASjU紮i=eEr!ݵJ=_f>kW&n$D<\*awz`g.#Sau}<Li"]VP]R.kIT6,rY*Ϭ$BlxqW~KI F6䠅\j n̶xx -ZUf?-C>*;-hzuՇK7hQL|X.:ҲjWVIF'@h?w Kr(8a:*[ 5{qP&}e̲;(,H]` 9Z-qa07uf&J+E 4! }aZ\zNe l/ٵZp^ٗEYh!/3t3R t `SH]f~KFdm|S zm 1 6Oe#g ,yD߲alz{ pwz=~|ZO[þ 'y3RG6Z;k*sp#5fGQ8w-ַ{>ڿ{32ʁUҥ\R=4MHܵF0փ؈Rjg XwhC_>gW ^ӳfE JHv\pGߝ0=a8^