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 OO.+tD %w Catalan_Numbers:threads=2elapsed=3.803cpu=7.076gc=0.172factor=1.867zXZִF! !]ŗXf1-/6vRZy_c5MD&t$ϰӵ20:b.Ҧ>>ܓ<4sJ]#[xR3DhCxنe"SeYyb27=8OܾN$Z$DD]k0KFlA'ӼCk~:Z!ddЌ#? Tl2^])3X`l ݋rQ ~iZ$@FKHaC$4iQv+`)S<,vڽ ^O Tʃsꥢ9qWG(6'5 o!z^>>j@?i4PJ{q.gkT1x(=JiWhK۽FɣƉ[l6Ra!NJ fRn y{}KUM.uiߎ|[Cܳ:淭<խO\Mm)0C~3im~mM6τ(GJ#.,敝6A@dB}CAĜ]V׸퓥TiZHH =zd=N _x!0t{xfTx(7;xyGp=01!cKB-pn^9i@#"葾構gj,s]&fjafBgYZ7zXZִF! \]ŗXi%gyͩ 0sxJvX zJ 5i ƿ&_Trh^Q43|ġ{ª4+k5eCR%N!Qc0%lR5AF2.5/B!8W8(ip$nD~ɷ&\,_:4'O"hM 37R>gMgm4Sh7L='c;_mJ\=*o` #ŀbLaf.18ڝ7[=9?.$2WVks|:^f@g" ʤCm{ŦhFjQJBn<&j9ai1:En>Ԛ%ǤT hh"+i"L1+m66)])&#YtLjȨf#y"Ҩ**2HRφs1 '򈩢 T>V2wM1W;}Ѕo. cmꍔdO \' iviI=A4a3HߒZi#1 V,K(d!qsP+L!ʱ;Qg=asr75zgYZ49fe44064c676d59a1eebd21c2c9cbedac9083e6 bfe665f7a080847cc9ebf32f97fb08668ad2512b e7727b70ddb5d0fb7204a973b22adf636d021b19 eccbe9577a9822aadd01dcd3a198ec132d102bf8 fcd536b9e4bcc443b503ea91f92affc054d4bd96572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb ee5c344e484cb4571a3e30aa2acf3579a09d76f8 8b11d14c63847957f15ba20e9bf48211fb5fc1f4 dabd51cf4018e274df41b1d3b84c91f73c2cc6f6 4a392024f41b7ec249521944dc631f8a160ced1a + Catalan_Numbers