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=4elapsed=12.564cpu=40.228gc=1.420factor=3.207zXZִF! ]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJރDVM СFo98}lC$丏2)s!_Z=KO26)#v!}ܾW3JVYp6%sCHFµG#>mtV}-qt=ؑy@h^RK5}{Xă3G@0̪:P*HuL;(k=l\љ5b5?VJPȦZ/-ZPu%TYsoz`9!dڜ MR~m?i>[銿Fڍ3Y@W&Jq*|.G@AMa^ Q?P%FD۱ZK_XCټ+ cepM{W9ުxE4T7m+Jgb)?eL؁*ⴌ.L u%G}7DwI%}hBbfķ3:IcT5hЉ|9&wXj2t*B18j/ wI;,qpfk&04:8Xv=gYZ7zXZִF! Q"]ŗXi%B4Ȃ%w '8KYݰXsQkt^څCrOwB˹hƜ^?f7&f!ӾSC|GKOʨT=%=ϬPd%v#T Fem3a7@M<^b܊Ȓ`ooEfGA_Y?"rh_tRIJB6--VQ@'mXV0!yLi :t5v\<] KEAXZ<:y`=+k ٖ'WP185G)5lf^b#?5Ue:KONáj,M_=AxXjU0pj~Q=?FjI]P*l8Ɍ2RM FuDmXZmU}_앣38lvP9?y(UKVt}*ͦ b~A4\;8:p7P_ؿ|]*5ygs0G5dYt5=F_545K(ndzѢ2FGE;Yso-z;lRWeC*v<1W_P{<*i ?mUGOc!'l:=!7+ogJ"IfN|Z1ɏ "=I޺5i~ߤK>ڷ_Xs=T5s7,1 XS/|e̡4ft d'O=iؠ :ͼuI1NtlYa#{֕IOP)C0A)f w"h%01i = y2SdPͻ~_Zv-<O1HŲ8~Bu7SYED;[&)?8ϟ+۬Gdg'O"%*S=BB9ey`%tŔ\lZr".?/Puwh,'b[F딴w*whip#p߻EA