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 GG.I\| ] HOL-Predicate_Compile_Examples:threads=6elapsed=46.760cpu=151.696gc=8.288factor=3.247zXZִF! {]ŗXf1-q恈"3UUMѺXQ55H&Rz5M:G(|Y+E a41:z!PP\yܰ[Iu=W[e9 v]\kmf}z[C,!6xK2اl5QˡNP)/=ڤł߼z(3If/%<m¨*q+H/;Bn,۲FHMp=]&jC/B]+ Cfѹ!#mt& S;je_qldF;E0SY/hm* UbY=_=:>qR7Kk@TAT)T1#hïm,)$,fV=N:>%7=!I.a|ưFJ8A;@RnWC7˯Ӊ%Fm S6U_I9U{s%at2 $ ,k1A㢬,p&-$m+tUJ#ЫÇ._(oSm$9#_QG~=|P(?ͱ; D.OؐC4ʨKP 2tiqJVP=(էh+)hK]3>o=~w "8Qǒ qIa (!!4; %]fMa,U'gc\%O_CZ$14Y| *A~eq(wLy4$&\V4-/x$:S@Ty0bP##[p$,ѓҢu8t%%n |)9 ua.XT0?6sdM.:-RS:F )ފ,? I*4W"F btXdG43WnT˹#Ǵ^qC9>vUd}B1V8R ٬qm o-tbo `RRQQr;jm,:5Nd$=kkO.րŏH--cy??:YoO6}‘Vy J[$xfp"J7s\q7ϫ#^9` bd#/3I:q>Όߌ (}4Uusss+3L~2hj=( BcCf \se`:M~jp~֑͜ޤJ2I捍3t5ޖ?|d;ֈ Cn֠{]؏ Rh"Z@ΣCBtޟEe&y@n$e#kvaUd<j+iԐW«q(\u̇r_5N: [J[5گʃMn̨ʐ(d4=c@TXؿ?_GR^[X@|(uzS);ܘ J^Љ 5PUo:U˜sWB?取_#Oz^nȴM<$x@9򭾷j\ms!y~|T7F>v= !I HOL-Predicate_Compile_Examplesb63.(Fڷ^(-,tOu;{yD~%lY@\mNٳz^#8EYR^z%áxP3]~%NĔ DJ澥7^ B  _t$业+' `tZ㲋G+Ail^z>*w>w^@7-JBS^W/]6Udb|&v,47!*Q?|}S2aGD\.UH_)B%m֖Y-I ou`xGÃyhD{4%d d_;VT 'Hi<>m++i0ɮ WrԒ ow¶@wa 'IU'wT$Dω[n5 Z1Z9+1rsAUO7VE>4AV/n܊) k"Sd?{-;jk8J@Ҳ2zϗ?⬱+^6$V*$GLn| cgX<[z>l!O`Bd0cQ C/J OvlnZh1чS_POpBDa vnnݶaGN[NnkyѝGźOM<5T4߻Dq]s(q4 s̱`((* G kWLuMU@Gbv\@`اjin!h{F!/ě.D@M r转8>G|!j@є?h0`,xOѿCl*t6!b&qQ 1V8ePqC9DF!NNœX0 @oS ͅcMJ6`Hfƾb$tzFT 8W͊!3z9oT~9KvW*="e:FDTE^ E'hGI[sӫub.1LE|@Њ0&b#nC- GG;4yź?Pgqw%;=sh=5X:h~a^ħ[f|dmԪg6hUuaYM@0v=nR sP/ jAuij7ɩPe!9AįVc2fyyFۮz^#)eb?¤ 6\fHAl2jSCV(0 *^12HpL4D*=IO#^a ] .0oH٦;ׅDOti2H%=OZvՋ]!兛`%D [c5t4Cᣮ^X )٪o7C@~hV2D,]$%GΥU"?vS=ByCeD˿l K L#I!b=Ytb6SB T?vN ~[w&>xk"޳e4 X+ԭxQk8SAw6+N$0)aVp:22;lr6_cm9̋ 6JT׉do^2ɅfhaE{# -];VjJ)$P^Y#m3r+f:sKu#iAHz"ޢn~E83c?/N{m!]j]ayQIÉ=n]r 2+@GR`5w Rce]Z߁2&ѱ~SgȮ3Gв9W04CD<yH :6S|֕ DuG$~k pjȪ_y,/WT(-ߘ-p90P9p#\&:nyG^Vt.KK>gYZ0993f6cda0da538083159fab78581c258d26040a0d46e8014914da4e1c47dfabe60e74a66f8c0804 3c595614c5a7dd95ed6bb1c41dbdcbae6cc56fd2 5b91efea01484ea6c028831d5a7791381a052341