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   j+>ܓ<4sJ]#[xR3>˂=5.'>"B;u-+.N|4CPRmg M5T:vH&I]  qV;ܚ掳G8'dd4` si:nϒ%!GrgYZ7zXZִF! s]ŗXi%h B4CNFKbA*͓|f3I33&{+耒MTu}/`M#;n4b/h7l][vpkko2Y3,~j,|11̂zݍ4IS!u'E]z<+lrˆt!9a92BW o(R?Sa9KJC02l4YoѵJT+/1k Aew2nfKF#~eWȱEdJxOz)ag=Msq=x"ww 7dzZ]K8$@M="_wsd8 F{}4 yƈCv} Z~iف;lyI50 ^Qdy-8&}ۨJ ;eIb~vI,'L;aF"DVѯut"pvt3Y+Z pxFQ]Կ?u.Ϸn0!Mk@7Z^e`{~ӻ" 4Հ(L܄2`,v_J4* e,B%E>yrPݻ7Es̱gYZ49fe44064c676d59a1eebd21c2c9cbedac9083e6 6ddd74b42885d3699e3853627e108dceb06b2a9d bfe665f7a080847cc9ebf32f97fb08668ad2512b e7727b70ddb5d0fb7204a973b22adf636d021b19 fcd536b9e4bcc443b503ea91f92affc054d4bd96735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 87d272d7a214823a6656954e4786f6c505a2d5a0 f3c7b3a34f2f0d70bd66912d631894e7c954e0ba + Catalan_Numbers