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  ; ;B+D %w Catalan_Numbers:threads=2elapsed=3.830cpu=6.840gc=0.132factor=1.797zXZִF! K]ŗXf1-/6vRZy_c5MD&t$ϰӵ20:b.Ҧ>>ܓ<4sJ]#[xR3DͿUQt߀gkLB 'i!o)Ieg~S s`z}-Ox9"3i~UCxd,WDCbբF;gYZ7zXZִF! \]ŗXi%6y4Jyh$/I@_\xE?sw2{JιI eMm| p"N+'Q{;E@fhf*<<> /(8C)-q{m(-ly[S,:dL!~}ʱr?(FvvIDqЋpH;:{C%<]HS-x> ̧ ˠOV3bo c5[շW+0@_EmBPTOURE 'Ħرa]IvGi ߮ujshb_zv!Wٞ C\񸎸!Oؒ$W'} ΟF~^BBkZr7^ )#imNzm+7sgw^2޻sym׭'׍3>\4vYg8JR&ITKxlmI(xG6Nִ}m% cn!57 WgYZ49fe44064c676d59a1eebd21c2c9cbedac9083e6 6ddd74b42885d3699e3853627e108dceb06b2a9d bfe665f7a080847cc9ebf32f97fb08668ad2512b e7727b70ddb5d0fb7204a973b22adf636d021b19 fcd536b9e4bcc443b503ea91f92affc054d4bd96554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 1d78b900664117bc27648b4f3031230e0f9a4d44 9970c3c6b5d9a06154dde012b36d9fd27aac4cf9 + Catalan_Numbers