SQLite format 3@ . BBh77otableisabelle_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  x x+,dL ]S Catalan_Numbers:threads=2elapsed=2.991cpu=5.532gc=0.132factor=1.857zXZִF! ]ŗXf1-/6vRZy_c5MD&t$ϱZl ahLP)v>6Vb*ۑ Cs?9ܙӮJQi .ziH( &O0V/;A˳VTcM]IS򎉲wĹH`~/e_LaM TOupY |x ־wND ɑ.|,%gYZ7zXZִF! j]ŗXiɟy>W&Jq*|.G@AMa^ Q?P%Fc"z{oz" eq_kgѴ\W$sەR߇P䣧{d)8P 8gYZ7zXZִF! `_]ŗXi%;:nj!.#6"Y1/Ca #i$_ SD 5_Bo_%[/BEyyq^Z* poI9_%|D=sud xlv`gLvKFs&R^O;n!wUtBr=E⼍҆u"f >!4 ߱$6f7#;aGO|̙^#$0m*z$ų"m dXXalk:}I쟧Xq,S01pM-Yӭ$ŻJj5'HV6RItx6 \89E]oJwbmCI_()Ϳ:ytOS*Rxeefȳ̡PcR@}4Klz!cw(DzCStH+-^:paO8Q#tծ hs x"Lz€}2FwB PKNL~І4(N4̣ )E "sobq_b9k=F\+FTU"X ytYP?םE<n2 gYZ9304f6566100662d6eaacefc41fbee7424028df519483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 65d80b9f55bd9ee9c1acb629a585b7cb4350661b 0224138c354f73d3b1a277b1982a725c43168510 + Catalan_Numbers