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 CC&+ t< c/ Euler_Partition:threads=2elapsed=15.223cpu=28.288gc=0.980factor=1.867zXZִF! t]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I$%^b{yar6r8]M :kitZ.P+< Xrӳ/yaRCӇ=(rrR]ED-] Ӓsw+¿-UfJ9*5e K6iHHl:Pi\-{\s*= ]0|2Fm0,QmYa&&)-)aZۦ {A͢nB},TírM`lSV)Ɏ\maS~duX,-;}7DŽ =(;}ܑ5QZÄ4>YNUID\<&Zkb#R^B@W.fS)"Nݻ`e\M?jCہ-اh /\k|w; NtlDn|ԑIBE(<ʑ_):G=6 GW;uPmlJPo,'f/t.T&4jֻy=Wݰ̸P&&{Ws5ݑg qy臋V?J:s<sBE*n$-Q*/EP_aM{S _l9E@<}rP*h[j + Euler_PartitionC 6 Q8rrfV4R{gAdq!W륀i$3ؚ0, 0C-5%)b0ktNM)ڪwb)gpLLc5 W 3zOXs:JW[2x"ȳ u51˩W44f}_UւK9ȉs3wN6}QS$46ɌJ)9 Vu=q[I͵n`xIfL_E' c?eD~dP{M%k`u *:牣e HE,|PNWǴ>v8:ݳ۳48@S5{Ak=|D1+r; w:ng)LDhrrj,j+GyuZj8ijip}([3Uw<.d~_X86x=%K;EUBtۏm?a$mT|"b&8t zd `O*Ew,U0*uB]F2`+C Lc}Rp2\V '*ē܅)R'Ty%} ݍG?&[` hdR HTTM5Do/1rģ[8ʻ`?V;seki9mSђu}o ]i6ZI/ш<ȍU9R?*򡒒m(ұ?'2 ^@\…{~cn {z冧fq܊D#Gj e%?<&潡?&4G fXH@9{Zڷ%h[ nyFdAvkI(@¬C&2[NkZތi1'FptSeCr b`_!cMз>%h6aSGUhgj/;'qL7-+JOfԋ &Da H3w^~>J^'Lnaw2r}℻uDvhL NNV;{>rk-QƔEB궴`Ssq. hc>yܣфx Οl7)'BV0 ah,8oM_4};2vg %dI%B):H\Qჽ#oÚ5Aoodwb/ 4M-eα_pQsNE%ompsDJDܲDA[ꄆ8Sg=R@V kTY yӔ4h.g֐ǒ-~j0tJԝɠdK" Q]7X5j3VjtmzbLqzބ盎kg}Z;/]ٝ ꮺ-agaBd,,tTzyR TApUoyΗov/}`#>']VY~T)nʏc=M; Ȝጮ,G׻8|ήNOW! 9f<P\4o@i^˧ȫBŔ4Nc:.PﰏUez!PYː"r?=Lcsjx'aw"D4* l($+c{}l>tgy?:60SG m1/\.6|\PѲBM?Ÿ:k>b;]ּ&aGshg (gKrwVv:eG29h5Tb e$.7ka2{ DR;?qXXw顶[ `"j~9 > l<90=IjIRۊdܔ1=OJe8<wD?ӭKI'ýF^Ѡ^d۰O#B_(sk7">v9gV:N=C+[/sr Ae'LQDdDl[d|-LiG]1䑩/3P JO cP\v ojK[y{Q9jvz|EqCNRXW<%k~#DBz%/ECXcױ%rB3FLY$i^B0}aܶ}IV/}bP~PVi%G21$өImSQ3Bq8%Wn)B{ {ƪa;*ũ7Rnoj @gX5A5c,0f=`_֌ !Ah=gPBrfd G|=.>=y޺Je6v&m'?QzƜƒ_+m^M[@Anv