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 //6+ DT wS Catalan_Numbers:threads=2elapsed=16.283cpu=30.508gc=1.068factor=1.877zXZִF! ]ŗXf1-q恈aldC>14aUVnp~<_M^6^Y0s + Catalan_Numbersm ~\X~sOi,tyI"OKri<>u*W bO,gg 9&(ݨj0 j9&lA^3o/Gt- .$5guoMZ7WDle 2:Z X+o>4Yv ˶6qs}[e3^+O=[#\pi68JWnNhtLGuvOkJXCqrnl0_eReE+ 0&,]7>+{r4خ'9?A7#nn J A\:|R6&!{==@_ibGF4癋} Wy-RgOžj2iHMSS$ҫnD"Y,kF|R\@ vm6!\I5`4* : 3|wqG?;CWJUO=ܞ{>AYI!ef2}Z>FurQC&'VjVD6!Qʮs_Q|Pp1o:μ~YE\.S^{CntniBW胖}P# - m>89mBII:2J;<'ѫ= 6π҉H2\!%`@P0+7v+O\0ʥ@s?7F^i@m mR\^@` FӞԉgO\ݻwL}~4c_6-B}{9o ƍNLlNm9wՠQ*IdWK(`,+-tY4~ڴsVdQ] clC/Dǔ诩c Zl?@EմmXOAF8=wh\2j4E]-9w̱ 5`iMY]tY3Brt2`qjDȗVS@vVv>{^5':"_gZ/m^[إN3iXv ]0!FLh= hjkػʡ%+.p}=em4g)J̍!7+/n\ EO#p\xV)tm\ ntM(`ϫkM(E5)޿ W$4…lh!(稢o3c5QPUfRܵ!8'gYZ7zXZִF! T$]ŗXi%B׆8-y=MM9C.} ȹ ;VlY1N*<-|x3FS2Owч;[gnj;$F >sqk.#mMA6OV+3+uxZlj)K[ήr&o '{`yz1n YHNw TUmH k{w^. /ITo4cf0IG?GF>8˞ 6~Nhaw蕡JC#UrzוA,"! .+b׳!x ExoֺJ M"iRL7rIЬCŚpoԁacĵvE">w8Y'o`I <΁<iq0BվV9y- bX5XtD(A}[7CY o5tE仜h7$'K+>N/ʷ}~orGtaZ,U->ki6ZlzD[%-!iMk @Zl*z#!3^ ЦI-`Όr |IcB"LOBqF-@z&\v?CxEH)L+<;P aϟ 3߫-KڣDW-ea8 \61J43LKԯHKqsk$ 'QT %&Ҥ T7d{>]rdzf9OEza65U>2Td2>ʹi<h~֙)_D(HLbwZr_Ƞ$み _]\ a6PA.X}E(fpH ,J;F**+Dxد)nAT݉~2O +Fr@#=eL0§/~(1nVkiJ3})(3ىw„qio"C.-ȭ)RXH`n=FQv(}>PxEMW[^{A>3I˾d"xV:c)5A}vĿ2?A50 egYZ49fe44064c676d59a1eebd21c2c9cbedac9083e6 9d92da7f8420299a8a5022cd26d78922d4ab4ea9 bfe665f7a080847cc9ebf32f97fb08668ad2512b c6ee00b52507a16ab7fcd0a577ef3e8cfabd964e ccb8cd9c419df7e87a659e85b0e22ba50512861f fcd536b9e4bcc443b503ea91f92affc054d4bd96d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f 9963afd7b4a313b03ad24ea07cf3d6f4296fc6cd