SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ((M+t %w Catalan_Numbers:threads=2elapsed=4.047cpu=7.276gc=0.208factor=1.807zXZִF! !]ŗXf1-/6vRZy_c5MD&t$ϰӵ20:b.Ҧ>>ܓ<4sJ]#[xR3DE.W 4u>&~f`6o_1i D=Mj J0J&<g_wVQgOf<ùkb B Cw1j}o P ]TٓMCa'dgxp7jFͤG^XdZԍuy]m ,/O+*itίh[͑@Fp# z½6JƝ$[]c{3MsγeBj4vE 됫NnyU镋yXV*c ҿd2<_c`Jw1gk{Ty}wFR#uLQԔ`E^ǁP7e(\{[4;4~ҭ9&_A˙ٓu7h=1qn̆6!8{/|%4K6ki.wJK%=)TQ (!$\`gw8EajcR_YfXQC0QT:pXhks ؟)a?Ƕ3] Ad2wCޝ F,3g0$rLy耟> /v+X8rS(RNGΨ?_7xO7BEgYZ7zXZִF! |]ŗXi%΅7v+`dq.E mk]A)/\w]Ĵ~ҜfMl ɆKp%@Z + Catalan_Numbersu8b+xYK&yyhf`?v"ЇކU+\=Vo7Ub^Zʽ MRR64y ]PSInt-b[`BX!30_߹fz1:贐!Du+]BʬYݺ` ,3*9lVEyU+T783\cʴV~7;M'2 |[MҌbjY[ D! y| nXݛªpao`юw E0GpŋнDG8CoyHڊQNhf{-NYA4S;Dv"[wB.wP{s9 ZN,(/>˥FD{Gq:'SDz.T$F40 ӧ]KBF8иL39,+9_7vgYZ49fe44064c676d59a1eebd21c2c9cbedac9083e6 bfe665f7a080847cc9ebf32f97fb08668ad2512b e7727b70ddb5d0fb7204a973b22adf636d021b19 eccbe9577a9822aadd01dcd3a198ec132d102bf8 fcd536b9e4bcc443b503ea91f92affc054d4bd9680f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074 d0588517c8f6cbe01daa7d05f7b6fd5a31064a65 ce40a574e7f863c3c93eb865ad6e1dff930a9d4b