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  W W&+ %w Catalan_Numbers:threads=2elapsed=3.403cpu=6.372gc=0.132factor=1.877zXZִF! K]ŗXf1-/6vRZy_c5MD&t$ϰӵ20:b.Ҧ>>ܓ<4sJ]#[xR3&.s M!sY\оKHFE[i.3VH8/"4X{:W\" ƷH7TGvߺ0F;gYZ7zXZִF! >]ŗXi%6ב 7FCɜ AIMQHB}YKjo?ttDezftOf͐`.!ɢiB9 W{wDXRmLzYPAH+-}5T]34}B&uQVn(ҺoRFZ_G-r8;fY)~R5& 4,H,;O.R 6r/fgv>Ȯ`(*S+4@tPp2roeuc.ܯj}zaJ)tBf&΍5*^CWMm]^jpgﵳDM ?۳s.Hqj+Yc\ c|I9;Ҫ3p:Z R lH@I\֢&oy%Bg.b_azFsxäjz{+ay[Fx3OZ:8cH'4[f-4U6x)2|>J:Zk:v9M"6{x Lд.$+xxuUO3hVgYZ2ba9f89670507f6e0af67fe7f4120067968def00 63da0cf65f9c5488c5c4bd6651ab6bf37a2800b2 bfe665f7a080847cc9ebf32f97fb08668ad2512b e23b0750577bdc8ecb29cfa6e2e693e43a1f1a3f fcd536b9e4bcc443b503ea91f92affc054d4bd96238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3 662e2c93275b3f9c97faea279c1f2e9b30a29203 3a002d6a995019df178bd168faef100dc685caf7 4df3fc803775cc0087965a4f4932d2dd7493d666 + Catalan_Numbers