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  E+dt ]S Catalan_Numbers:threads=2elapsed=2.859cpu=5.604gc=0.196factor=1.967zXZִF! >]ŗXf1-/6vRZy_c5MD&t$ϱZl ahLP)v>6Vb*ۑ CܽKwa#elK9ߤ&"4=Si_}Dx@,U㘘Hfsh+j J6[\ԜtRmu.JR*aX KfVא߼d)W&Jq*|.G@AMa^ Q?P%F瓭L09 {pc#.>H!s y?19!44y*QJ8gYZ7zXZִF! V1]ŗXi%9#qzc OX6q)&TۼȠs}2y3J+5}3Tp>)m`+}\-`Rf QO{T>{ET`+>ͼTyѯJf+xZ=a^S=66%-iϠs)rQU{HFTي~.АCSvm 5r ~.uѣJ`?pcXYZ|鏑^ZfaS&' IFBO%(c-\hx"h3Q'0B`Rt\ qKt Sعە.aay:GhGi+k JSemFoVx=kXޣbldz'j=@ #۹cwTE}X|xz7UߒVe k^3Pbb9}ӥer:s(Oc3`%i &1Z^PZ踜S%܎ou0˧ҳ4.gYZ9fe2f823757ef0ba05735dbba45eaccab050fa0f8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 4f980edf476e1d267841215178fca737808515ef 72da3e8ba4102e6270a21c86d3b3e91b237ffdfe + Catalan_Numbers