SQLite format 3@ .  YYQ77Atableisabelle_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, "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  7 7F+$D %w Catalan_Numbers:threads=2elapsed=3.886cpu=6.952gc=0.160factor=1.797zXZִF! ]ŗXf1-/6vRZy_c5MD&t$ϰӵ20:b.Ҧ>>ܓ<4sJ]#[xR38=5|Inz(D&+匮W,W׶d4^8zh!INkA92 UGAtevAm:-UgYZ7zXZִF! Y]ŗXi%6˻hRO &j!җ*rͤKeK^) ^Ӗ\G5W`7.(eyg`v^U0&#n{GmVD@`0ms)]3+¨W+Ŏ Lϭ!_MI?t,Ǭ{$@f3lKJÙ.I/Wa'/G(vcusƠO ұ4k&5F+Z\u}@tˠ]+`f`+H*] }+jt:9w-!nfׂ5Yo礴\)nQ?_ ^nؼvbت&&;@"5ѿtz!sKWJk* esb Is׊Q䐧mS`02XaiD܎:S>J>Ӳltc@R1.cKm%QǮ#ɠwqbMoh)OL {XutDYfq?R2㞟;qo\A;@7?dgYZ49fe44064c676d59a1eebd21c2c9cbedac9083e6 6ddd74b42885d3699e3853627e108dceb06b2a9d bfe665f7a080847cc9ebf32f97fb08668ad2512b e7727b70ddb5d0fb7204a973b22adf636d021b19 fcd536b9e4bcc443b503ea91f92affc054d4bd96554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67 2ed211b1efae4422e75485936f4d42e34d927cbe 27d1cc7d59bdad9cff1eb5f88475476e40d84b64 014a851547a1d4cb1e68698d4eadf0ad84644614 + Catalan_Numbers