SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 u-\D$ ]m]CAVA_buildchain3:threads=2elapsed=165.850cpu=274.000gc=17.256factor=1.657zXZִF! @h]ŗXf1-q恈͐7ӺV 1VbkEڄvi+48~XD ؄9AEG$Lco6|M1'82 `qڶRy.2?QUǤU YyV 6jNxB Bu|ImXcF4!NRȌap #I"\hHEZ'zu.yPtZ ņHX(. k'Ns?|)kjipyt(,7`S¨=N@r=bIS ;1tUh@%O۳fNsIʒt̥;n5毇oZoA_8P#iOף>(@%h3ȗ=a*Ir:SK5k'i zЄMC+uFUӊqnَPױV ]*^ڝsQAa*ͬa_BN!|YVA|6,TXNhC*DrtSC[dآ?]7N!!i@9^jY2&FȖ+h]V$UA(6oZ<H: g y"xJRKWJ&65LrGӳ= 0C)?HM6d֭lEiDۦ*,"-saO,a~.7ARGz Ќ.|}OQ<YCCY傄'RR֩6 )!zI1z-(_Z8ravؿ4*y5|{F?fzBH5acd0_Q4*NV-Q~kf+0Vj5}BaN<Љ 55G] =ߠ?hpޥM^S݊XkARL]TLd6u,~;Ag51ZGYD%[gY`φGqAo=PsDMCt~M}W5v͈KV f 7ʨeNj8>U",boħ)G_^4 [ь~c!$̪\$(xqwlx,'Dߚ}P;~?ku'`t6zRݴ8ĥ#ĝ2.7ኻw:Y&Z&rzǥi^BK>y]Kp,9މ'νlb^UEd<|_8(j~4dFOt gYZ7zXZִF! ]ŗXiɟ˕BFSItjw_,^[u-9Hu)_wPWqeIѧrZ$!*B:0A9'SI}OmTNz/"~ӯ1y7kSkxCWd\g~w&Uq?睿!VE/UoI<>쭇 -mt7vkeM F8gP!8Oh[*&2Q0p00Y]mhSD96ñgYZ7zXZִF! %!]ŗXi%;rݡpd7W$|.&~-c0qKu7;rV,/`@gT-, n#*sП$I(L\o\F=HB8= &ERY'rCq*|'df -a09Mh[۱Z^t* -vgӂG/s W>i'  m!1:{1 (1Gtug]1R-d=%4b+Y΅dp8w?_W®{'ٻW=QQF @T񭛃? n6)=K"%Gܜ*" +!͆r!(krqA ۶Ȑg2Y^,m߰ze>8ubl8aA@sgLGFo&q}5&6}@L0;GW tXkzf _?eS41|IkwBf9uNҁDUa^ppyW]In1wf`$aG@LwhumTn-,b:x>p]%F)bY<_VޏcT713&AP cg FE}^$<|DV35[SB1NtY$߬NH߾!^Jb>5jڕxufsSpJJN1/m!RC[}k"6)K@_aK*vEe?:+5ȊϪ3<=q<) G9}g`žU$9@mʳ ڬ+i:-,V>P - CAVA_buildchain3  Ja~dMf :ǴRĻL,poOBlckR͠ )![LKq``<gؗuȈw Yw/4Bm?Jվۧ4avaE m(ֆw.?2L^D aGԗީ,mfaw<8WA;EK㈰U)ٺh#tH 9fcq$"S~7 uBt(zp^ dQ߇K/&CnFrGKHa+鄦Ais㹧n>aaM* #-Znh z_T[odc 5 pI]j+d%򔨘j9c[LҜl2h;/RŁPN/ږ~dxLʓ~g^d Bއ6>۩es>pi ePl?c1T Xvrqvsl ڞW(!eb v!q"c,?&ld:pD ('Azc|4?P6q@74'\@L|+"iQǰlr[~>HAJXXg >?+Zޖt5,KBk[{e-FiS: HWS^3I_tI%_v#^k% ȱ,dl|%YUՊe3I oƟ1VWEC90gRyy]e^$3 2"yaa3h\LYc1>&5r7#R&] 40Ꜳ#IUީ> fS Iud~t-\#M.-<爛A7I;VTlc_'Y-|+D¢Pו`Ŧ{ EŞo"gRLLPkZ긓1:(pA,eB צd1*&K +|| ḿ6 3`DdT{~!2&g{oqҰ*it<lECAvzƩ?iX;1>0&FhIPa_ź\-v W}@;-\X˺j$sw%'b}_5:rEh M|K](U##{vk3&WQYy%@JuA $-Y2̱'3:@ͅ(3~i߇A _;$nBC^4w3t%إ1B5iThqMq:@vTގgAK2eY: P4$5) ݘ;u♠W}qf <8~EcNH m[ awlh ʹ`WQE o N8RɈ0mد+p `AP NK2r|lG<Q2Le:qZىJoPXòC1:*6 V6 ľB J]j(nA}v S(uFQA.ΊЁf凗6No ı TV}Tϻ?[3<'.Q'pq: 7N4[1/$$EkîWdȄܰk4GvFG'^a+ôx'[PwrғNf(6XEFCI&l>5p퓢0E>kT c)/*Uȴ* ',`2SFXF(W*@,s( k* APOӐ[Ypn75]$b߉ * 'jh79rm)s~Tߙ}|嫾@pܑ,F {,( JAS|;(sl:\vߘ@UQ]f1S[EȜ>bم-YVyJUFk*i{4RyDIWӔ%&܃QqͷI_w<~-~yTp*XCdCvg+䕂EmPUT_׵4f5n2FZ0A5e_F0냹Uy8 !cF&tB7;s=LZ|bDU13ЎimSSY@1w.+>=>^VdZpnmf#"q^m`냒h@PqEGсח|0&g-ԡlo 6kʿH@o/N¹wZ8`֧,ƛ^|l3ك`cHt|g1KvCq︉@,5!֭Ht*OP>EO VfY[*J~M%4¨܋Oe~Ǽ'48"qD *Ea $Eh䪑Fr79c7z M c[G<4TsS |ujV8GAPN44mP:G%a6X?A!r&a=q&hV&wưQKiK CBO/`|9} G7ѬȜZ+~鿞Psl8;FWwi*A&QCbyKqmdZmT?>q 㴳 $@Sa{LoCƮ/˭䠽zO4D쫙y \lnTEE9Q<+Su"C;Ofŷ$6mZʛqcƒfԬh'wQ sAC J*qzxJfULoFܯɒQ?[ʃ zfdO[MzndnH X ؞u[e>wg+4R(4.$jɭ+R=Mߟtw9 Sюno&qƆ |efWBHpiGFs%w16P KsM `@Ѐ1.wqg5n$w2[Uuje3_[tJ]1tTư$%|;kld⤒@DwO%} qRZ7Mò;*&}s$X@e;wEř`/w=!7\hcj,?`2DدcZǏ{#{r\&HLK.Q07I/L >8}J"HmiC%.ކ8JyCH TeH_jYW qTK }i׏C!A-jWܢYcFx@q>hA2!9C8אiu#juS\By:Lt`45'+p'RIܒR6ϡ1~F .ڕF Ŗ0ʤo>l+(( iwai*C Apk+B bt/hUnókZ28ۨdKa SwLA9FXvfNF; KBRՆ1I:R:LFc2Oٵуo99P[%~w^CuSwY [¶ m()Gl%8nΗkO@d)!6zb?JؕTġV}('C+E+$ jm9iѦŹt^GlfhdB)IL"(fۼwXUD-+ʇ^> cK\1][qz6v=PѳژmJ}]\g=\H:=?l+ؓA"4ղ(Fl$?w؎n_Z_ "+C/xhWТ`"b HZGevthK#?FsiVOt~)Pɚ*gJUDiu d4U+$7 EqstOٸ},04hhzkS ̅>vwc@m)(BS-2Qz}Udq*%op( PW_B.4V7Ӂu g|o:y Q@3phd!Plo#2ЬQL<00@Оu_q`>RAuwpENGh5!ҼY!MkKa n=Ҧ8ѤμX5,(5h&Q.20?_p`֙9׶^a#t2&E9jU ؖ*c4X~|Mi7 p,FLO,$+,>i_ iݭ_aSZُċݰ6uӎXVd!C"5[e>ծS‚g@be;J; 9-8~q>yE)CC`3x1_Ȃm3BYA5j:AVM V貍#Va\?-CeW[$y2gYq_XZcS!&c-eV  'Eu4Qru>1iV=tUixDk+YlTZ :NR5+UBa~,Uјhj4ucP9߭6)zjH*xel~ÍZZbKkU-`q]+ gx%1D>?:6+q^2$cHճ)h$ԗ^O3,>=|2׻2 ,p$R䍍B <D@qLh.[7\b NY ^F-.4-˅IgSE;F O!73S`8A݂\4f )y|n\V+!J̛ @ə7,m!}`bƗ(C`?s#M_ݮ(IP&bgIuQtč,+|s(]&C Y,N˫k\X 2E3ɉ9e`ؖ|v\_hqbHT> AfAsN_9a