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  }+dT ]S Catalan_Numbers:threads=2elapsed=2.880cpu=5.448gc=0.216factor=1.897zXZִF! @]ŗXf1-/6vRZy_c5MD&t$ϱZl ahLP)v>6Vb*ۑ Cܣ#qJux|Ax4eᄑ0ݐ" "C !x6BcvSN8n"`ļL3W&Jq*|.G@AMa^ Q?P%Fw 祋e\#:5_0U1xU1B/6%ֲ8A}8gYZ7zXZִF! Na]ŗXi%ήutd5"b0%iX |@gz\gNSPL" 3/(sO yQ-4FjFZ A$ r].A}TDh h|۰KNsh@MT]qKY7tppTՊQKnR]a_ 2Q&B.+h @Q鍋 A9}=~ =W9VME[cP~<|uf7jR膻V8 Y:~TlrGV/j/(q^t_DYcF+ X=4|d%{p҂Qhejf̗H;!t9:NqK=`#VAN#TIY_/%$b0EY3C fnDlOC5#dw y6K]3Qk? J [Sch7s `.l9(^M+*ULN$S,)\n)36FMOluWt^%D&UX|:.78ArM<~gYZ88d2812ac73de638c60ac3c1f2c76ad913f0a22500b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 eefe7c01ab52c92b7bbac338585a874cb7fe1fe6 b121b5d8fc3edf2e3e7865f7220e305053c5c2e5 + Catalan_Numbers