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 :+ |$ wS Catalan_Numbers:threads=2elapsed=16.323cpu=30.564gc=1.056factor=1.877zXZִF! 5 w]ŗXf1-q恈͐7ӺV ]oJ/[Pwu8rQ#[{e,zWFR?龱ޢԂMW{BUjr%%ܖ)U8>T ܮKE .\~RPB\ v7s(5b|KT7|l$38&Bj n%Tj _VQ}EsvA/t& + Catalan_Numbers;6 Eh1RF$j"=t2tU T.(G+Ӎ'd w ;,pc${'/z2?!mD0%ՙdќs`Bd58nӡTt+E$tL4i"p OeJ)?b{ٔWZ3w*Xqz )t`=6p{%=ylhtw?p^IIv{!oU9Bn mY lY d<<-ʂT ƅo_C%#T;`5h"Kd?o #EDuB)ы5kyM'>-vE;}YTt%1:DazVto l۞zyB2 û8TQϬ=si'BãIwAF[PRqf. 3Ru'i)2I  ˬ ݌2VcX*xpН Ŷՙ6 Qfn^ "}QxvX68ȣea_`")I@RzCt:-h D$y <x /hBs`[_ PWVk_[aH_"P\멘vcNM O.!i͓Txp_ "Co{Hzi㖻kdng!e7R2+Wm#+v.I3$>~ a9Hzx&0{LWr2zP1T*@Ǩ ѼaRͪPMNq$(IF/h3Gʶ),x.@ =C"N ƥxH PnOAͷe!7}{c5cb#s9:OTXDO0bdӛ"~=wkQ~+z>޺2PV!N叨Է!) Jg[NMy#UEc`i EtI f,~Wqf:Z n^Be*N6NŚV<8#`7edYĝIG&sa}hUdա;Zr ;uP &ûmu>|9C+6S[~emH7-R3_>+@?ǭ^bq1 -!#o$wKDs2ehoaq޲=ʁ*l1s3?@VoކB삙?^n-C8cF0E)HT/EV+s#N>Ju=kxP,ؐ i.z<;?h@? XV 3˯lBH. qy1u$H*-)?I])pNq*bjj GcssI;J{{Z!Ya6pA'DGG,䀡9>) PH0~9Xl瀂+cjs} l6Is͎ޓmҍMc7;9$(vɶqx+I0QW~`lr UxL}"eicROW[" ah{V'@ȣkac9r)o &R$Mv=_yg#2[qi eGvnyBd7:?bR, D<'otiCEP q0Ȁz \f} t-Pdo?nj&nWm:YYܧxҼ%&eP-"Vg(0B\Z;92#5Y>)oW8 }2OYD]jQ+|8:ƮbE+.8/,Q!qciGT\WYyxl }qB{FlberCлw-ƣ0Kw$喕R.I$p=&!kYۦ07OZ-y0# LlvsN ¿VRC13} tt Wi蝶)}nכqta; Tr@%cV8'I'Zm:P93HyAͭLG(F E?ok|FQn8'>3-|tg-!M0:/l~ոJT_eYi9ivnG$1x U:b娜}.{|-vˑ\&XAI1_M,6K7{)k"` c*Hێ|]boitDT>skP/J` hDI̢wOӣFV#6W(N4KT\ AKۚIE@M$i_n] H82^-)P<0.֘Nّlh3',F@!hZ Ɋ.ԥ!Wp gr W/^|! >y9FtGۇadhmm[bfsSV. nJm@̗MrӇLW' j{&IK!Oe{Ih(}cq>4l8TGJ/ LU}:-8S*;r^89~nOkhuWhy L1<#ÇK☚O&J$O(%2w:ILwiNta8 h`UrrpIvޛ3'.,@fm'1VK ;F4ඪk1~(0'J/Fĥ{1LSs~z}!4-n(K@r]Sgh %}ʙtv^ݒ'~ Osq+U fAdiY4\9*zA:{[?L{?朴e '$~jvJ̭R-nSۦ) /{Džh5ѪT'jI^1o?YrNPC>v T^m3tw!nĩ: u<Xj<4X8zri0N:*ozw8`+֦z3Eun=GNZ%-W"g0  NN"i`}Ks7!+]%_6Rw^2{O V- Tg?V.S/YܟumXZq!4z%=1, /^ &T+~ F~%ta`hX[ˉ u8RAOo[ίY."!<ԷEN?XD vHgOw"tĠXKrYEb T+ k* % ARܼP%YDȣ/և