SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 kk /\ ]S]HOL-Number_Theory:threads=6elapsed=37.524cpu=170.152gc=8.860factor=4.537zXZִF! en ]ŗXf1-q恈D='-/w)P5$WD,^D7+ nL͊ [@PvlzJf#[N)_=Qhn^g1֍j* 0'teCFdWM\&R4MD*pϣ aCA?DL Qy4r+>ޠ pΛTfpyu]%iI}^+dOgGR`ͧ4}/iAaf:dk|˪ɲ F yq,5L Yi&O.^xb 1 n-2mfcwSZ/H|J޽*6 iҧeD}1H``#o~W|V d28~uUlZ7~}z%y{r_lxxNhsz%;^'Hrz7 5יCe WtV2tN4`UC̕WRCX⣿6OI}z3ueg(x8+Z]j TsР;B UqTY qeLgR{c41B '2LS`J414orJ%O^`%/i}n:|Vt|:mdgފ8wl~o_PQo#C)Yn|8 nݩNxUEF J.xcߘꪽTFm}x}~46'ĒzH/ϭ\W~$ҕ@`BhVF~uCPMϩ*Sg~G+un |6Mr”[t@Mo$St{Km LxjPٳPXFsmq}hJrwvT7bܦei;Vˢ|}?(Spе&Jb̨駺 2aKaPNECpЖ v"]}aG\ 8fd+nJ.aXy_qzD G3jE$=i(5L tBKwx]sł`chwQn=|V\%d*o+28+{0uc.rvᥕvB?DvP X8XTrgT+pIVch4A sIԍno$@5L HMJ$2ϜtUDCC9jv5`n \(c%=[GZKKhka@|`3K\\8GL)g/i, ggjZceaB=Q0hٚUMW&Q thR0UFB31i#|ncSX1ψH!\ۓ@|nm9vd~df!UBN5K6r!."N=/AMNWyJ6Z IHRV[H"zpWsyPhkmZ^iHye-dCO+S.J҅X3.n|84a: ddS }9Lq\X8㶝^#&,g|8H |rB=0|!`jb7tJsSH]GvETaې(-sƕT3-X;ΈwKdQ<20{v X:GSe|kհ- l p9' <=9i(ig$9 =JqiҋMME r}&iX17]<> 2c@=IlIC(꩹b薶f 4ypٱɎͪ>aZIWZGExDZI\._H  ?FkI_eo2:3e`(3l / HOL-Number_Theoryk\7Ň߱gYZ7zXZִF! mB]ŗXiɟ1e YSCMqmO2N u*yAb]x&jXCL(bh 8QЦ}q`/jȟnN@|\g؀Ŕ8\||`'Oa26Bt/JevN1"!*]J[\<~4ef@ғYGѕu(m,:d3$TƇڑ{[&7,+iԖS.3Ll:^]a˟;"JQc;ؚThO^lAnr  d~Ƕz~h꺎Q m(\ kju#uY[ !İ# 5mӄ_^P7PJrQ}`٩ϫ_%jt:IJ:_`N'4qH`,b¿vl$"Ͻjf*J[hXD%rlHUNo?Cqk' Ϙ/H/jB>?F;mɿ*7׸f疾) (ǔt:MxS>%@N Ĩ8jTagT.9YundLKa>BOz-ZB0aF5Mt+Q܌>`pB5k` SOA`0}DGazvO.X+=#172CϑqtH O?\"XP'>JUewj|ot=fvxͶpQrb9z a<(Fc%0`0hjY4c3E[g2Mc*w1H.AmS耟hA;.3[-!o̡FjBNJ=3 wؐe.1g\@%HJ05,k5#9% PpDb#ieo\8=0˚:= llRHStly*#]cttl 6rb}hs3<@Kji4LFy(gKW18ՁY "^z\C JB𸱖e'7X\Z@YW5mԵb9 uXQAɆP3ķWhD_(X=B {}fdP/|&2R28DS#B2gQ2gRP0j,r$U8cz_B-xZ1@.ӭ 2y.OK_O$@ \`>J+Z7uO4s0gj2 9w 60gbJ*34\ZKOx-3&y 6n+wg 7-Bܕ[2f P,֮\}/&V)N'd_R8dv 9y<.:ϨSZV?)2Q_ .ahD'$z^* #{鉖kwo*ƖBZ :Y([~MUU}[91_ J/4gXzl;DB˘xm&@Ѳ IZxyMC sY#hٜyPHH? 5ॣB3C7A\*p mhB Zչ??Drnd2z_+[sY#en+.)풱gYZ3a2ab23b26e1ecbef327ab3970e0fb099979b23d32e67617b84c9c11cb8188110a1a4623e5435f37 4cfe04fff283b1f341f7b2f228821a9a87ea40ea 089e08bd04413689c9c2f25359f75795d5eccbbc 64f6bc3c1d5a58e09f2f19a334c361d58b7aa0317e6125b3a62a06f77ff44087db0f4c8532da16e2