SQLite format 3@ .  YYQ77Atableisabelle_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, "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  _+t Yw]Girth_Chromatic:threads=2elapsed=60.998cpu=102.888gc=4.996factor=1.697zXZִF! ^]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˱+ɝN(y.;#U3*{+/*i.ǽ׉E֗q.iv!D Fix[N.R 1hyH%˽mhRʳ!c@C|XfR\[[# 0g<3o-hiW#Kj<976]1sns-36ZU8D%HfeuDAX8 !u#hP2pM)T/ΊϠ9GTyB*4'-&Xh'I, 1 3xNimxqx8",.4K/NjV`u`mPN{3fr%)`8Ba¾KaHmW1C@PK&?A /;P܀8lR[T6%ö#/߰}`:t֬-א0YqRP=$`Hs}W|?\k)3Hė>Բ6Xu(mS+B)^}žHqթ<հ TpcZ*w,[ZAu;gWF WNkyU@_sv--&ĎڛmdaitH $3zWͻ}ʻӈ{>஖'j21땪ֶܳMN`fu1ht~-;$s(@oXlՒ8ܯ4 h+KZEDd5>%W,MRܠ4WCUIB(zŹ{`#S )X.@?Y}*#fE)iB&>w^yתDZ5*ė~?W_<sˑ\uَ~Hi6 uQS =)y,SP5Ws+.wGӣx:cK(| Ձ5vpR+0|:s(ktU'ymXg74-kng0^ -ɓ@g{Ӿ B]>- 6cG`J@9$ev3+SEtVJxE4jJa]9CϑOR_ڵ(zr2=ȝ^NVՠ >a-8XN*ŮqzVh*7+m7L1X=ZRj匑 xAC":Z&±wIn_Pd1[uƸc?iyنT-\]Q[ȉpO w{ Ggb^BsOOo=%{z.aɆ?uŵ8)n~7u|N` {xᑧl$I(pݮlA-lY 9:VmOokxz߹/9?^nVU=c7Z5`50Q9i-M_1Lv;4k io*cRr=ڬ;Tlk2Q#&Q-r:%4i!֒J7{PrQ'VPw%2zKAQ@؝b׵ P,eۻw4@M䆛1*򜚄b'oXDxsJklO8PI}6<1ty=:zmf7S3jTgmtsfJ9܆?Cph!hnZ&KNu|б27) ]BƴͪZB>*2t-G=q\bM}m6Osw^iriPrVcN~~߭'TZ7$RPDc~xu `ոnww5c%y6Ar|V"z= 9}0~nOܑ)0-n<[g9幜Ny~2goRd* :7``,J';Tsjזv%V1\u2 ]n8{S/"iR'h&23#"6DQTd'v LX H;TRnrȼ b%U2ypȚ ϔTh2u"uelB$N f$ w=Wo4nF,Q) <`ђU(?TɎ6ZD2Ę`O43-=*pFk/%4IaCyA^ ԧVǵt@ROBb; sG #u71^ $F=U_H _]gP6 =Z`&hi,dӪ \|zZq㪠ޱV:`5UNL#uȽnUaj,2 QNjMEk&Q%gWkΙvv'gy]hnW,Lw=6g C0IWr j% >h+·g>eBqёgzR )Y77O U£sl8:kPuCpSReCJ'MпDz߽?\awq-٨$,[sKa),ty =Q@mK皯mhF KcY]z 1nڷQirs*-4{ LbadDz'\oLz] v4&񑾤w̱uG @/+Vq=W M[LU Q 8HB+)4Gn^w6ϞEDaG|iLInIP cSzsM>߯A$t T!% 갍u4M2!xڻza~膡MKlu= fOazGbع6!6_TW$x7|^X<`~QԞ9BZlkcĨ&-/nDxHjV J>,oDf;cܵ)Ce _Tk$V"VhQNIYV/ ;Y(Cf1<@胔N=+(kװޭЋz/6aMM Y(ϝ;Mhٍ-$kh+I786ym]K~Wl) o;Y/%mȦiP=7֕7\~Jϟ|d=ۺ݄g+0I~]{yMT#vi5*59l!U%х5q_Ils*y! pg!iQQ̬,2Q9i(B)3KD:xHaM+`ҡZުEbFG_jA's\{w%O $rVKvcQGVIAFki]{2`Gܧ[ &;\94f_%hX& -tZoVQCFo^l0*MZIQOߴ_ʅJ9'8(gSlq32ph4G4ikYE2SpJ$ mvyCjݏ-5f"vEhI;g+q<1b }IO?=3 .ϣ%fhvyvʑSĩ|$?mI$Q,`)ui{ݨuGlNG%~ #Z`wnHV!yT-\;Aql5+Č/Y t~ /:l WQs9JKe*3++ށxa1#|mB 쐫Q 5/_끗d2# h0;>tq 7bTΆcւ*hN ͗PKdMajt\!. Lž)>/%slYäsLB<@@caliɿ;KjphͪEX @77y"Έ;7bk ̓P*C+Ct|raՔ5;[Ufw:xjpY4Ax82nӑo¨281D;tuäi"#f9πcfNb I =DB.QIi9; ))c0ΓeZ#yO'ʵ) oc>଒,;nvHiN4wܞ^ba>'es^;WhY`mۦiNaCUz5a