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 qqp7DD / ComponentDependencies:threads=2elapsed=76.661cpu=150.640gc=7.180factor=1.977zXZִF! ve\]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7s" 仺~gysO8_fx;|^F)5)&l7Ѷܬ'D:wnKqZxݶׯQIx<tHpz:`&-*Y?QEs$=,K+%eqюn;㾅񸐏X$\X5Q= i߹[е'c<pAFrj_hr]Vh"/0h(4%^H^.Ei(Pv,&c&wgG:H&}~fL'sk4xk@FD8P8PWyu.#|XІ>Dw kiah)tQ&Twtx5ozn1<7tDKIʌ)fa5n5KJ*L<4FXLbƤ. n_ a&W)5ibN~U~h≢UGƮ4H uupR}U3ĺ>mיs\Hn֙-(޺.f1 X|*"8S,կ4$.7cԢ<}Fnp׷  n(c{>[i6rŲ}ru'@ u}hR0vQ71@sF?:g\h|FHmy& 'yF9{FL<2`ޓ|ٚJR3re,|HD_4?pRaP `f1x`bhܳ /3 2A?^2Ux|ݽ$TO=jr<\#"_݇b *@oaCl Q1 Cz%;^Њ<3~Z$XstIK71 ~}ݾ/geeOP!tHE|DD:yc̄>be K~X/!v2f/'2+m3`d|8%&HCfjFe " kt@ʇ Bh~B (G&gS44o9kmVq6=w%[عrJ6[bݒ4溠?SQ=x32XNo8t!X⛸%-5ƽ$Ǹ.UyA>t=i8$94vXCQߏ[4+Wj.6`nIIXhn]s2~Egդ _.6vo&WRdòY)v^Y&伩-߳bKalgWw6X>T! eG+s/u'J2^`} bh 2i EZAS C<Pt30w4Ɔ-@:Vp=E*HL6"6{mT@'kD]a){NBm J{څ5WGbI@bsl%L_H!l B=CWK`G!' p{sĸ_T1cһ:OĶ5c Pds;@2}^{U4GzT/Yq~yz6=!(,xP!gqy(&W5{-QڂQ07 EZE=yhϭHG;1ME^#GImf wC/[!2@t5TDPӋPxlllăv69_ǐR;)oe@f@}FM6 ^)X֋\o$RCi 簦id7#(0[<_gA{bB E^eJ`H$";- ү ,SwL!Ғ>ԉHc: G2G7Z VUqrJFi9P:$1<d`r2^hXmȩ#=,():/}vOh.RosG!D崪TR`i;:<+䄑qYvbؓ}3[IAJ9Dñ:AO(P~"V[UR^ۍGY/[ &ԪLw q9TObAN}jQ a N=I &r [A:[h4^YTq9朓i`xA%wl|J1ϵo{槂(Q8Ay纞莦ҁNry*{0o? @ew4-E\Z"Nrbmu=X[詓v;_&ǁ^خ[&'=vY"2Ρ3̸S>mWj7bN1vA#9|~Mu= gMˑg"shs6ъҕ3 uX+k6dI%6.{oҗ3D WƱ.j>!e٨_`^v:Kݚ *_|exqeQbsvIh5KO$Y%v@QPEiwe)4 ?>7Ǒ;CP=㌞{eCOr YٕIj%vT7ݠ_;`pʊ'9p>$0:;[(#U:\zxԆ/xʉ]gz61OސB:l0>,!;=!m rY=J]T ɇ| 6H˰R *_`Ho@(ɇ?sq<5BuT` ]gpg8VY$ ɔCWq|YJvL?'DD9J:=pD_~ T`i= ,^^ސ7)eno3a- (\8N|6'AzN <&1/xBz;,)