SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  x3t|\ ]/ Projective_Geometry:threads=4elapsed=25.285cpu=86.116gc=1.5887zXZִF! D]ŗXiɟ  Q=v>&* tZ-hvmnYuM>=I")'1,mw3&PH>nPC"%i75Ywvfҽ0j%Ua!鱸)UIU׮|mPws[A蝢p,تc$gnҚ~e1)Fhu1-'?p²!a݆Z0}{ciB$|A7`JMi-ĸmة$Y9Zݦ<ިw)>L%&z&D/OCXq"wt3U3咊 JP6Am-d/nJO?[Dӯ#pZQ(W 2m@RS2^Ѱ<#LZbveXDuLġ"*=xO$w0aUOZS6s@J-;*o3sљo銿qKXiKw=[|AKJiz,F\}NJnUA0&>CUT-?u%l|%6t 3 Projective_Geometryr3S% \Projective_GeometryProjective_Geometry.Pappus_Propertydocument.tex7zXZִF! ]A-MՋhvG"uIBm5D [J+.&2MQZGNVe=V^},yRJplTHk} WEFpvb&8':U͝#3 ٟG_x}NMcw%e1uvqtlQ Q0܎7}*w3(>0}DB"9+ͯN?v5fG3=go+oJӃY HkƂN6p􏐂=m,2q+@ 7WRrȪGcrÏ&kËZ L2stubձ8?-,vHr'žΣm|!u tDcCYi3nS W*$D$tv?0fӍܭЂG>gJ']NhBVTN[LPiP=PSGŲgIk;5zJm,?AI/FdUp#Ǣ[//SIzS \ rio9y^AhaS\JL/JK;N=~=NFi:s+S(JK6r*0OS9I xPͨh!34{xVf7 *XܑLW1<9Y4Pޢ.L{'rjaN/rͨRo/:K6wCptE8!U ؈ ; j5WD@}g3_pJxp8zьGtB|P5"g\kT6H^lfeXG e-=4ţ=K8lkfFx]K6OVNr`K ly%~ٌ3o{lE)ԀٚEhҍ\)Ag-`Bw'vQ]J|ۘsvnyoRK y~? ?C9']tdFߪטFg."&xOSnGdoE䫋U-MʨNB::8JAQ^l%:ݿ@3䀖pOo%!Q2IHeSyaZjt:QԵ~K]:P}bb(6D6~ON.v87lJinA4* 3o1Mɋt=0QPƉL\^Y#|V5@#`M?j\Ia5 s^&[Z=^ґo0qPy[ t'Y-:euo|V-i^>flx)# 5xl"CƋ;REnSc?)BWC;F1G >@rz[Z(w A#u?juڿLؕQB" %@(0Sx\pdzpl{(AVǜ;&޶m!@ÐcyhLj4:Y~.;*Ԗٗ ͹8(08!ezx?YfR1mY2ʊ: bA/ώ>*|ST&C(FL(nV$(p:ϗih}6[NXF{j݅-u6.uu$ bƑ'*JHS/#oeɃ7q$]3~1wGB.Jećo2=\8&︤{eNpJI O=[ (6RZ}XÍoӺfc0qIjAQ-흧"QrK5Q}r:}jV_\3!xMVn0J'Rޥ#vUs²VnSjr7(Bw&`JhOȕ$4kODi`FrP,i%4wîlɓ2 :`⼺@I-+yP%ŇZDCL1ieM$X_8i\F2Q߼)$YuJ@R(f#8Jn}ijJXwmX $+c2@XL$Yx7*5DCr7ANϿ_a%$}J[m"nM cE@V|E%;`ABkKqKݯO(0qP21L(t>+ WD *m?`vS65 ýo6#?>xVRu^4vgLHeE7=kSkd]Df=,TQ*԰ O5XJ zN)Ye0y#U'J5C5c܁g7Bsxci ^F&L[œ84#{[Y,3Z;Tܥ}@4VRᵊ'2%|AMT߫&i:a<2 :uɞE/v߅J/4j,޼@Oc`hA|X :[#9̃' OA.{ QlhrRk_ y#;N"GS`՗&T-< ަ׌Vmw6qmͳ:qj)%*XPT YEi*9 ΄=dEu\{h:ͫl#V/Tl+̢Â98N+6}a't+Ae׉M.qE`]aʻ$q[G7f$rx"W^H2oVBKb/ ܍)\`O KhŅ{a G5֊lB@r-Af l㿇t8 kcx'DHӗ9K;mEd_<}x{2OT9=/k so׋io+՝*:|1S+R+y eϖF SvgGyM/%>~'ԻճUo眑Y4emO S+4 ^Ecx b#Ͱ Lq\s#7u/%5Ֆ2xmr"{/aq+ugBBz%e|7889B(\ƒDӹ ^v+VBGpך |@ e4WFKWX3e1Kx7PH;Z8*Ñr?HOooC}~$2ΥI^6`nRMYfcajš>;Vqˣ#l=QmR%EAܪ9j*8im΄ ql"p<)q~3Zj%ME 81ޏn[ .LVřbY:[\ @weX$Tz{1=ORZ_t@7HkQ.VA|r%"sPƜu)S).FB9NT+x?߰`:cNR-t5ʇ,>(]^=t(^-Bj; ds {0(ץ&={O(᧔ uI{tIGfzNhUÖC71ľu|Kܤ-8Mn I+MLgbeϮ R7.%PO% d^? J[P}Cģb+ɪ"jz1,RZ}:VyȰF&_!"L&B{-r1W5 ='xV#Fq#nu9`s6;c,i=tgŻy/5HPhjt_#&20G_oFwn\ST_ PΥ52.#q3P9 sʧBqcM˒n $|i=N7*׀Pû!).BY1R*f\&J'3%a,q@9@5W@>@wܪ ȌɟePl+8ѫKWW2:m"4l6žt+,H,NdD艆,mXH`¬C+U41_7+ d3`Da[O^_QО"5Y{!8+^YCdȷO Tܲ [6o6M,4zܪ+wR",w@Z/FzKRS/)ZQX-}jy+i9yա#1~ S>u3 ۔Gmd1#3gYZ r3S% \Projective_GeometryProjective_Geometry.Pappus_Propertydocument.tex7zXZִF! ]A-MՋhvG"uIBm5D [J+.&2MQZGNVe=V^},yRJplTHk} WEFpvb&8':U͝#3 ٟG_x}NMcw%e1uvqtlQ Q0܎7}*w3(>0}DB"9+ͯN?v5fG3=go+oJӃY HkƂN6p􏐂=m,2q+@ 7WRrȪGcrÏ&kËZ L2stubձ8?-,vHr'žΣm|!u tDcCYi3nS W*$D$tv?0fӍܭЂG>gJ']NhBVTN[LPiP=PSGŲgIk;5zJm,?AI/FdUp#Ǣ[//SIzS \ rio9y^AhaS\JL/JK;N=~=NFi:s+S(JK6r*0OS9I xPͨh!34{xVf7 *XܑLW1<9Y4Pޢ.L{'rjaN/rͨRo/:K6wCptE8!U ؈ ; j5WD@}g3_pJxp8zьGtB|P5"g\kT6H^lfeXG e-=4ţ=K8lkfFx]K6OVNr`K ly%~ٌ3o{lE)ԀٚEhҍ\)Ag-`Bw'vQ]J|ۘsvnyoRK y~? ?C9']tdFߪטFg."&xOSnGdoE䫋U-MʨNB::8JAQ^l%:ݿ@3䀖pOo%!Q2IHeSyaZjt:QԵ~K]:P}bb(6D6~ON.v87lJinA4* 3o1Mɋt=0QPƉL\^Y#|V5@#`M?j\Ia5 s^&[Z=^ґo0qPy[ t'Y-:euo|V-i^>flx)# 5xl"CƋ;REnSc?)BWC;F1G >@rz[Z(w A#u?juڿLؕQB" %@(0Sx\pdzpl{(AVǜ;&޶m!@ÐcyhLj4:Y~.;*Ԗٗ ͹8(08!ezx?YfR1mY2ʊ: bA/ώ>*|ST&C(FL(nV$(p:ϗih}6[NXF{j݅-u6.uu$ bƑ'*JHS/#oeɃ7q$]3~1wGB.Jećo2=\8&︤{eNpJI O=[ (6RZ}XÍoӺfc0qI@ ]T;<*8G0JBhEx. _4k N d^(d1ǰkM̼5\EPc?:(RrǶc2REEL /u2pJ/EV`u&zL_G$ Şdp̎sߨ?ھ}js 0h4U.ZV+h!Bz{=s%B!Q+{l7ؒ~eR b#,z/mX<6綃\#Zi̶K\çٖ| ,.tS9oM3A*qg8@6 !z'}xK_/aW)xz%M{L$q"]"B@:| ?7xe^6bhd/B'CIJ N 4R1nTiBRGkSm` Ε 02mKHm))r?OVM][d-x|d6eMPCq`b ڰ3կ} 7~0*x}c#gC_YC}{xN9 >KB?EYf)iiH'Ӷ_=_~i}`ոN3TpgeZ\ sʖQ7GQ Wl j(,m␋1k zuQdb.*SA^`1eoPG,W@r^ϗ_jSA(NԡyR cwHT0kzrC(UlC@&߇sCWɀypt2+?A\ug34ШUgY\"w/K!h}GG[x02yVfjx@O]?K0[n`xT9s*ve)*ݲisc1djicytDH' 2RƜ?{WACdѸe!VOI,}W5~ݹ)*Ds̥5ɍRyp ;-M8׵Z˝ @e2tzi.IM7YW> OW|]Y\~;)tg%(^r.JqK#H)xzL@2#6K6T'̩1 pt^ ГϻWC]NMwAǷk,ivjr\cs^j{jv ԝzMoJ s{PuSvvU[StG>\OX9UV&~'LAui/XD %c4iD){Ľ fCmw'%[C.Ɗ]͗)R3!׺5 |C7'Z[ (HvFp :54R޲~IUyA滾K\{!Y얚aÿlM7MP1bj%$5_-ZoQ};+P_EMGF(*Y5ctU1x_2gR˗;L AR-6F:s޷~[֓'W-L1=4Oߟ9RZAo?Μ[)AKW)h#Pj p %v<JBn M]Yəc%q9:S ֮u4sz}TRѦ=/5j (i!Wa+R1ݦ^d{D~I$zs l(|[@sXaGaS\ "!HK#I'a9PM-kl" Q?6fm5-B&yZ4EW.52@ko q o62QV$>_/%B轲0S´ I1^W 5JKWqTLR.ao >ޖ8^lEkj x* M!Iȃ 9tHHWDRpG}]PTڊ16zy(ǞJ}s a=)E[^T'o)-kVM,U ̠rX8*`a4uySD Li ;?ԨEex߲+ ? Hg0(TsǨicCE&aaۃ 0ge~8ۊY/{EgE!/陸Aw%'q$괦P,߯հQAdsvɇ{} @EU~y-Wٖ*`ڟ>~HUիB^w\̎[暽/ ~_"4++Ֆ챹Lآý /[q "Y,K=]RsX*A7bРZ̔uƒγert}IJuoH62DKS[l:7!nc';F< 0Lxk TuR!8O* 1mw]yWfY9l;vO@[J . Y-QeJ@L[FO-O "} 3ȇ鑧H%oPgYs2} ^L939)w*23@[.[t|)`\ڂE㴖{IAA국QtTiۤqs]/zSRyA u¾9x:\DF;V9;?M6t5%&|68ڨt=&, R)4C:v [wek\yXzݑ<ܹ T ;P=)~U`-q&&oGQNEE*)5ޗי87E; q\+p!bUNRUל,}|dN]Á~a0wj;k YrcVm3Tb, 3 Ꭷc?p9ݑe&kn*a_1ZlojM?㟒@[>bTQ'v3ϑ)` B71s8eY_E>uQSw&vfPZ8Zul]aB&cFe"$eu2VbtN7guF-뢭iW~bf:bo^ |2؁rexW KXm+8mfqA;4{EVf4q&K/e6AYژcdq2X呜VBپ):ژww*^SNUHcZ}[ő⍚_ /_?,bHTDenk.wWQ'&\?"1"*V7Da+IINpFT mzFYPZi exH+~~hyF!]YO2Έժ_r݋<@;\zRqi6Dy э\_~QUV7kkE,Ʋ5h^BW >_Iѣܒęv8'xz'-Bf Iҧk*Yެ =nޏAG#ӝ! J6#UƊ%Z8 llMЌ 8f {Ѐi痾Q0GnjV);˜,;& nȶD3t^h`UF3 x Y]a~s {1kI>xMnҴkn Ĺ5_ s(, G\p(PB%&CIV:4I%wYqе+pY31dX[ p;ҷW?%xl'7=pCv5_7C;E2vY0&%TE2ɺi{٧@KѮ<|yq[(Casȉ&fb@-VfL]ۧBL8t\MsP}8ֹ"Qr~{XEmJ6.Kj=5Kc6rS:3\y* :m MYuZa"wOoCY PyLb [uz c`R۾ӼḽuX ' Ep#Ms9T;$hGYV3H\~jv "srZPѠORC{nU@ |就oyD/<=\15lܙz̯+K5)9ny6lޢl~|rRwkyڞ4Qc=QEDޙ4e$Y"=RjaW˟JҲ%E\fր/70ұgYZ WW3S% 4Projective_GeometryProjective_Geometry.Pascal_Propertydocument.tex7zXZִF! ]A-MՋhvG"uIBm5D#p:k%U+,VpdgVE/utÒXk{~s&V 7(uN[ pU9f:yΜͮ"%pni^CJ ٞ’Jo:|4zނc(Y`:몋FWXl;s|V9* 0.9`iٹMr) V=->l4-y{r+m\X Z=4r\SFń7qe=Ad~?F7ga^4ŮA-+h @bUx0KdH&1}`DNMn5N 6駗YBuds^ƴбTiX(E f'KOMVF"۩׻Iwzrn.OnmkCSz.륩q|gTRL52URIm LW0K>m1C'- U6ӟBYr)ˆ+eu.zD ]ɥ{XE{bY4"P9p`-@3;{&c }(GW+&q{4&(Zi~N[<{k\O, NW9cki_.#"/SiƒQ.rV0i0: %-e+ H%xm){^#H~S[AD.DkwB_~|iry QG!@JNIz.J@YsnYYy i}3 {Lt\+uc.d])T\i_h0*CVڞ kv0VFU`F} } ԗK BHxG~0m[b_+Ļ[]{2_mqh,sDnED'PbpBktHHF*s i׬-GОxhulj2s6HoI^stDPz-} EFcd;t ~-Fve% ved(Aݯ$aiC+7"ۍD `ʊx%"hraZ'7{Bp*>CSK 倗Jr@oh0BRg!+扨DUWܦTI.A(&<&%i|065l$ȰC$P#K2Z2R7?%b,y'}|+}d,ȁ Yv D3+=e-.H8} f}6uE ['#@ NlC0\BeRV" <jkCèT뱲Mx[vXZ{dՇ::RHW 0^G`sW?(_[v= bFǭ" …?6m0AP-$k2xðª:ymy)LG |BjsxKlcPdh/PD(_l#Q,caljɱ1U-Yi vY$?JV$wJ8 ^$xiL4v`c jLp9Ax.- (GOqNe{V%C59`ڎR‚JLvB.Ʈ_:}gk~4Xt}L6\?Avd*6= 恉|ka cU&WRE\ 0MF/L7ּ8j "y=",Z3mDA?{~ `^`48 9T·8Sd: 7JjR -3Y% LProjective_GeometryProjective_Geometry.Desargues_Propertydocument.tex7zXZִF! k ]A-MՋhvG"uIBm5ֳj#F-,C@4lИ^yؤā6f^&zKwP(we#**A&d?K%"fjjY(2nHTWPdtıXEm8sÙQ1)]GB8)1% E* y]N3etq50r ٸ|]v%LNdmp< 0FudXCNM!XU^ZOP4\BLSq>$&L9rB汔6^E5Hcљz;6{"X*BWCٖ # fsٗ]C(KvE1yN'`Y|%TbPaK)G.tjM9[WSiU$u47h\?ި¯H=BR^eNvA*0Al)A=T/"^dQ;1$}Ī[_6@UZ#UD}yN41@P{:wQc3Hs)?q@8]#5@ԯuܙ|}7 S< -g4Ť0o]U*uaF˱x @l,}'_b opI7V=||qWS. р9« cH mr'.k&[3UIEJy#d)I;ρaj .5}%k)΋ kƆ^(G¢ߚЋ@iHLzuKaK^;v7IK,WFCoecnQwh kւUո>ŋ=E;FI~$^/ԃL@ꌽ9gugTA1jL4ɘx( ~x][Ҝӿkw03k?XѢ Oi?֓{N:gNULZ4`* Ë^݁X*ձTB)Qr|;\0p4׈:ϒ+3[㿜1prA3HAU&Pi*f# t(h0n r1%{03z}CV@2Z)8AlN]UŖy2r݄vkjۈ [Wy\ Q-Hyҫ2viչ|% YPZv:{CsE8|LXb$?߿ݒُOKڟa>5Qlo y´ھ?*/%J}|'ܹ%|LEa}/)54u+xmNTpYJg{9>f\Y*Dn LOȁJ|*7J#4#E4E?'gFrT=D&e6`\B|$0@>xdb&',LQC -d6M}ꅙ (_ =k"Z:> bTx*T179w$i5 GIY0F 83^N$w/z ^ 綤mJX}ȶ@x5N!f@h5 I;"dHĹQA[)/ ze@`4O[XOlw&fM[?XoZŘ"c.o۽B |(43̛3 ˻ү=@N\~095[/ _;$F7OPpMj1b\Y"#{ɂ5.v֣vev\\>[$(HDʧWe*oľ*5 x%u4N#b?^V+UN7+-g7=X.3iNP%i(Di̻(df^ ^ϒij$Qқx=AL98)[:}z Ҭx<;h6φ=@J[['jeoDROe$Ƙs!4,#͚ ! v tTp86\]Ğu·tn9W>.jI41BZvң."t=R׻^ UCRnKlbjpǀt|}CwmaW>VmIχ>l,5&B#MhS78+~͜#q|3H:gYZ  -3q% 4Projective_GeometryProjective_Geometry.Higher_Projective_Space_Axiomsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5;M. ?6ZBʕ>9g_ Ow.R)pGk;]g ThH3lakWߏ?GʗB8KnΘ+7!g {hf ݠTm!s ~/S\M]cB+))໢-"Xi3&`u H4?ȐxWo2T<aeJz@0qUWqڤ檷 r=w[5FAJpWi < -> DS/Y<n q^P3QR2Oҋ?Ϻ^DzMFQ,I(r3E?'\zҠ>[risV@^u"̉ 6]2aTvykl-9\6&i,;"JHVӲJ޼0$^]f\UH$|{+=d`,u[ۍӷrx5^ khDH;Ds $ɫO Մ̗.?#]Ԧ@DD+4$ccH ,{ы<67/qѐ8J,0WJO˒8-k5 >ְph_ ѥq~S/le\[gp۱݄h7|8Gx$0swV❊vH?G[)Κq(7!I(BǬ?-Obd = *qɯ g=YːI.!nZ`1UN"GLo?2&F"ǺbwzV"^6oem ~(r\_kE!Bp8E+b u&kk| (Ì 8NEGiqxAy]'qDh`G>"HAPO^ʴ-:$B'x?k;glmjSi~/vC9 5gYZ3c% Projective_GeometryProjective_Geometry.Matroid_Rank_Propertiesdocument.tex7zXZִF! ]A-MՋhvG"uIBm54d {2)N- /ж6H=*1 7D?UEh9Xw5^j]&͇L.'>ݍ /#ȕ @Z70t>< tB'AELc|6SdOO}YayF7!rAO\Ok.]d\PB"9'[S* _ܭV-rPy9.= o'Cx*Q䌹IOBL=Zf-;\;hU&NBY7G'Rz Bk_/nC@qX Ծay[Rд[tQVhFjȜi 3c% $Projective_GeometryProjective_Geometry.Projective_Space_Axiomsdocument.tex7zXZִF! &N]A-MՋhvG"uIBm5L&k4ф 7Lr#zYŚ^|i姉E aff3. B c~+ b)lf62-Lkx[,cm:/@΅9Xsx1MWSeU[;YY{}>G4NޠS̾%fnB\M(u(,j["mJ5tq_&{tM$y+P?E Fw߅Tb4,KWRR~} }oAwI}mO}e]4;RSohl[~"ye|;gv{gmf"-8x_Fh볏R]a鷏إz.9ˀGޕ܃5K&P Ҁ^R}ֶ-uWCUMMΗRv`U& mw2LPtϦӺ?vMsIam*}9+ܵuiB 6d_Gqyf AŌ XĴȅ06DQvQX]Wsٽ@:sqn%W8;e7:Ί5/&iD4RcdM7gge=n9UY/ JS9==c͢` ̦bszJkhEg'VHi񟝼)šE> EwV\$ m̡7S^"LDʊxK W 8;h8? ,Ce^?ٝ\_oC 1 U㈸٢"-Ncof{?`fVpRBpݟL1M+0 <DL_+?fbEIow<4c˒Ds~ LegYZsUcb@ ϝq 6Xdj392b%ĬbTSbLRu 0ױGt>Ν5Rt.>O Fm$A~'m:OnI3sR9$0sZ=_xx@]fҼ/SN_pxOmP"?O;N}2]R;?VKDK2tNO/FXhM z}wA+_9#fbo}vOɺ A=O*{© T "m@AH>]ZKP*'+hnR~Zs/!SB4o~h,͚b,uF U%?b liUԳDGJ5=ztaOWup#zKfrL:jwB߱neEϢ8S2:vDuD}jSl500zS)mxgp!:f"!(zRi6F$tiGfTf6HSp[yؔLws&2p mQѷRPtvf,`5{'b$.M 䄇C)ݻ~`Twt -ђC!V~cSZiLC.c$X{8-1W\>GCm M0U "!+"U{hKcfSD}ܺ5E> FSh}p5[|H7!U/%EZed}L`2ddβeې8G$N "a|gT2٧*AyN$! 5 PQWૻ0ǓՄcxDbA&p'pRus`X,pA@Ge&Ys2s :I;792td2Kx<뫉m_/6V]l,To]p$WBwy;a(Ҏ"b,.a 'ÑSQv4n s!g+y0$4Za\%Hj8 >-,+q'ˎ7e(n3ҥ_]Nk|y#X֥ވŠRZs<2&_Տ höz^C$x,g[Ë}ԧѦ2.Z!ɟ@<+ р5?R0  nW:L\8<fE.J[c, n]l5ek.joNt5|)5}*EK6mMG4lj2|U =H>SW0Bcy= /ģh;Vb >l`ꑴY5E(w7>Coq`ui~rR|CӨ]=?=^^pZ.9ٶ.r`A&. "821 Ls2P9KZtwSƶ(d|Oo~Z - ^⟂7I_^L{kqRW5dLuk|`m-'}tE֒ Z1,\,Jdony 9bnd#YJ]%n FHW>BGsg߄M<جBնt?od]sW%5X<|~O!ֆ= Fؚӆ-aQP ӹG1ꓻURh2j>#Zp@T"AvK$ g&8#WXaN%בo␍˧'e[pja E槏Ŋ !% 帥f / L 0L8By<]I x𠇒"V4x|lɫ!z,q yAArBe"8D4XUg^}|1S39>P{+DN5&l_'5b)ӫdYrThᩦx}n[NE or.0wODiv6+p)OAXh'lǏZ笂e0mlAgp9BG ,ljCB9qѫ* BC* B+og-3T˰&Ep=Kڞ9˟0hs{-ДMT>ZᛸK݈f5ϴqŨ Biv&?텏# @؈KСC nUZV‘zYgɄ>0硨GRo4d^Jp3 Ž mnDLFt35d>ㆺ|z[Q)b~/>PV ?<O- ?U[ Lcf~ # 3_CUzAn兘ˋCª7]弪BQf Ucd@blI׎ٷ*XgFbqH!@kmTXU4 ș&dE1.Z? 4t_BbլLxJ DUܰ)F~6 s~X?.ꫬe{q ķ.W8qxǞu|}/})W(7in_ؤ4I;#&,%82EoL̪u 2kbm:ۉQ`'i7j@ Ӓm]-!'ͽ|aEQg(xk{ck8)ì3S^vO(>R5eVK5Βr#gsMz`Ya p~^[e=LJ{QD3d{NyR1 `3YP fgn݌H8ƿ/m/کžMhWbr!Cf#Br[8)e3h_Hg31+$4pT*ƇBpl\GEڴ]Dz0!M,]I;-. J2*-|5w|WOX'Y8ݔ+#ePelk5B^uDNaOJl,c!`LgYZ w3M% lProjective_GeometryProjective_Geometry.Desargues_3Ddocument.tex7zXZִF! m]A-MՋhvG"uIBm5ֳj#F-,CCIEŀe5#h3DaFA?t< u-lhgJm5MRuA0VkA"jT,kf i}1zT%6GP[$O,P͈Dצe96e4Onu)U6iRY,4"nRۦϧM(CX=SXyAjs,(pv^MosSB3:K"J Fp҉e>bv]cq#!hzɽ KnX>LbכI SRvCA?ma5|m=Ԍj3w2I>osI:vعc @G&ھ/"XSz8˳_?nHK譧:pul1dY / %N =9͛h?MX512N;Z Ep RYzhBIP}ŭ2bG~oqd qDf& خsztqig g1BW?6 }P]sKP[Ld8e}kM.v%ʨɞy:{V=2ΧϹU|Of.ӼpPPHOFs9_=t"$;.۱-qf ?Kco{Y.L-z0G_-q󰖂^%uTIh$b*g$kSHWK2G`{lXRhi=gN(fsט/Rsw&5˦hPEXAodCUҡ1%?D|ü ;2Ȯ ҽk$˩.(fRduǔ8NS|\$sB)ʃ3^]mSڰ逄94L|J:Cfr>hPGYPFBۑQ_ПCr+ǥD&ċx،ݎR "ƻ=S knDpW?,OEkb6x|{ BD"zzEtwaOiG5wGďaY apx#蚟6ԁLष-oҲ NOiqˆ 9Dml}|-[+'왹D>u&͵ s a:U) m9.ʰs^y*F2QZ@+ ?sQxA;:3vY:| bHNl\CQ ߦ˅СﰊaZ)a\ثxQikQH&|ߚ$0(GZ\aorU,-g`Fquf(%V]o癩yH0 quI8bTQ Ęz6jł,BV_85Pߧ~(M{E*(^o#VWП8hr Ma7nhDDv >L<\S BD˂0pW&u0e(se|8FxHsΥو^j{/y>fppϜS(:'`]a… x8 4;PZt-A^E"gAsώ `wƐz?qNM5&Λ>+z4Bͮ 2E e*o[psg-\sI  AT we.`%sG!o5GA*u.'g Pnovc a‹)6?#d8=o."?أ8 ۸a*`&i>=i "2*Zܲ|`[9;L ; &;u=J n˿XhgF9a m@FIgR!~c~f> S[~6/k<ZBq?Z#m8foW(V1܂8 %"/ J?pdmr@HTU%aPA(G]<~29^- |X -|+rù\v0$6݇ߊK/qH?Vb{*7]T,PCT>aD 4ެN6Γ=%í=qRT4>b>XJ<ʔEׂ$\+Eev I~UXw&( Gq8aL||݀Tz」%.mtjo0g?KujeJf}l3kyW,iR,5[MF9Cj}TC$2[AJgYZ  cT 3M% $Projective_GeometryProjective_Geometry.Desargues_2Ddocument.tex7zXZִF! :4J]A-MՋhvG"uIBm5ֳj#F-,CCIEŀ#h3DaFA?t< u-lhgJm5MRuA0VkA"jT,kf i}1zT%6GP[$O,P͈Dצe96e4Onu)U6iRY,4"nRۦϧM(CX=SXyAjs,(pv^MosSB3:K"J Fp҉e>bv]cq#!hzɽ KnX>LbכI SRvCA?ma5|m=Ԍj3w2I>osI:vعc @G&ھ/"XSz8˳_?nHK譧:pul1dY / %N =9͛h?MX512N;Z Eq){">%wg,@+(>7!'-I`X UO J$7M9ޡ@}H:n C^a^Fk:reAO=+*b BveEL QF ޗ :neW?PNj9tOs 3c% $Projective_GeometryProjective_Geometry.Projective_Plane_Axiomsdocument.tex7zXZִF!  ]A-MՋhvG"uIBm5L&k4ф 7Lr#zYP~>R0d M$Y;P5Ecпׯ 4gNsvH j3EBctb r)XUݜFI7وH_Hhn̼s[dSO)bb|-4Tj߄ g]1W#u ޶ tZ u۰/M)ڦzgMFx_v#Sߪ!COQԽ,](qA,X4bUp_ʢR= 5 At#~IJ;{)i,S-6qV~6N!C*?/$K- -QJxIY.oo@>dc }n=TO4hU#/3p4a/fڞ/]gYZ 3{% Projective_GeometryProjective_Geometry.Higher_Projective_Space_Rank_Axiomsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5;M. ?6ZBʕ>9g_ Ow.R)pIjO5CG.Wgwu᥷9]q~3Z>7w1F ;Iͮ!:DnGPn`Dzy+ʣ6ᴓ(*-t0nA O~3/Xv6B;wS6Y8j] RͮUQGPqiPemIRF <OtH`!QQFN)4$}xM)zB*kb%囲 6=l2k9%[qR\|MKu\ܘL=: 7GV>nJS5Kŕ۽]_Gp,(5#ԏyjn)k}=̙F15dLUG]3 :F^Fˏ5uBϳvĈ 鞆PsdrkŃAJ: "={DMZ -h)GaVԫL%F?2'p즋o3Hm#j 2\o` C*jzx1&ǬK#?a'6ǙSoi&OWWŽrE+C@hFS%I 8=ibY*Uj ߺwB[Z[[>`GF Vgdw֐5JƐޚ OS/gא|[Eqs3G\W[`Rn"b0֡6` bנ5wu<.f vve,QA|[1s/( 7~Rr ?d25"6|ŹcԂB=sj z[&,9OP;+ |3U()/c! fH V/1aAj Q쏽t~?#w ܽ=D:yrL'{}gYZn36W9R!W69wBq:NT v7{2dtBOR`J+BeY1mpw89$iied@0bKGtA@:<Mz,C]Za@ٮ]ck#`W~W  Yw,=ObP|.| $d=j>sz@zзS^ϩpMEry6-DɞW^C&{htl/ kW9ٌf ]f\lۯ_\9u)Sg4 Wȳᕋp%%a_>t|T%żȣqƚ*r)>N-` "2.RH8YO?tvt`ʯ +oZKCm 5 rn<7Z,Z1eSMAJs#O9ɚ]4k I 82gw \7{ 5#l"*BwȉX  @Li'CNJR5hU$`&SIkw[eRjj9Z=I,5@u2F 2dc*g8|wFz'T>:C6 Dl r)F ʴ$l^Ubk9otn_v "%"-2w,} SȰ0}T4KP<5] ?4>НBQ9!=I76$)g3e6Q})ʻk1q n 4|e<- ο6^[(1z)+f {iZd matWǫ Ű*K-_ˀQ\4OXi\cc?F0B@̗jQspOL>buOE]_@;QP?Qþ0OOF(K WJ!~k > (fRvl+VYX02tZA-32`;w 7M%7~ƑgJ1j*]+VpQ%O}} Ul zF>FsJQ3jB.kE@P9E[2k9$;ܪ R8eEH=3')y]Tzɗ5! yt>D FOb4 |:{\N&!sgJ> (e,$:]DU49t^5x0!~`zM^0I*sD9/ޓy3{v$2_G?jE 1V>z̽輗j(h3xV:uVM&qjU.BKH'}\~RQ >vkmFs[{3r_0kdQ"U5+Eh$IJqDCKD!n*U`#RlYRºF$,1 U)`ްː7c|.T&ۉς=Vq!G9TelG/ W*:33t/l_LĵT3Lι6=y+{maU%nu vxR팵 Y}K~Jdu:sNAC!Ben=j&ظCek䒕m-+ FBZښx,?],Y\’.{׎7sūg DRz>jQ!RԼĊ%u jgx#>[ ߻m#.2:9vnaNU9٨E}VՆ0@vp˭ [ZQw,0NQݣ*cKd vja9N~=NIrlz8i|5Q*~!o{7xFQ/;M>ݮm0` aʀ 8U5c@^ϧ˗T؎N7u:"0q*xS*WRC &Uw+c:)vRk-E]l#ќl> G #3fE`Eoޠ,5S/ ΰ.M7P%%x)'{EH=[v=eݸa: ?nc|3k1QVmf)Id28XE䦎(ޤoPi ZQohv1I +ZYM֬iZqh NZpj/`G^M>ZeW!{5SԱEb  "C10¨ezٞmy$I05BBqSYK04=IkGLrXFJ0OV3*]LfO^\puG6T{$@wm~?. B(_MR. tjMTgbl^+~`i$ւ3 ߞYbM4 ~ĭ>Y9zV**?f}4_+1/RQ.erpu`ĸEpTrYkF2NV^gٴ؀r7y|rC%@ӉsZ`dtIB5PD.:)j<^Z=1=|H ,<bX)^%r # כ-KD1]w:gߨQ|}.:@wwy#m}nٱ@13&R{Q~K`݀*~kQ|֣ x40cmspº2tuz?0&4S,^55ۆ `G'/#k!-n Jsdpm3$Cق&4eR?CSgH<L^H;<)TyxI~Oj9NAЎ&B!Ja&dcgRl.W }UZMwSP]n7Ƚ~xCVyCev\$S%$PozOy9pQhӽz|k{ȉlC$Vb+h?Euv;KMW {WՋڣ*FGY$ӵvuF^aGfj5Ӳ[3)%T+f*u iV{QHBk6&_$ D|^̰'Zfړ[ҬvMEdFcÜK-XS.gb/Bjpt~Jvͨb2X7ovq`W{6HIN)NءQ}Fk[ؼi9H^ՈvPB]wnߧ6rB'p@)I`{ّb T eEvUآyY)k6V6hw@e\T&癩dfjO/n ?L=.!i$L(4~,@^p:}LnRoǃ.%h9)s';ZZ8bA@!H[O+@G<󧚨s~JmU +YTV5àbN\L8Yb.4P4͉Q?*4-s3z=a'o:'sXύ м~j(k:j^|A\|ֻEs-5+zJ,_')GJ;AfO)$C3 мlH֯YW3 \%,P]3ʣK`*%Aa+2Js h2O,TVFO.oUx,I2P]OdGP\Kŗ "n~V !B{W> ,yG j^<1K H K,gzVԚ~|$T#ȽŸiߛp'/&5T|h5+?P-)/J)}وjՠ9+_GL7ht$R6B (J@D!0Kl:@"ǍԮ( Qݘv݇)ux Lr˭jfji`%m=$I'N1tqrr(c%;/ jBeBp46O1ܚƍίvB)JM&U$@Oi>x 'egDc'7(-Ԟw1,l^A!AHs{`0as%Qme2 ";0BIx}:֒Klw=QƐ!rHa 61dZm1Wl0bD)Mie*C1SSm\L{ǷLQpVjy {dnKȐ`𑝊.æ?v])LDٺQ@+ɶdRx.HE߈\vdBRw\ AyV꠺$XJWc": I lF؇377,UM/FA- 0_-J\ePvXi26f ؑ קy 2X>F=@*9珠!0o ~gsl`{݋ZY'9EjP+o9qZ[VȂMHS4A{~Z$3*%T]nЏ 쎪`$L)k4ޯJ-G۸+ ؐZ[%-wr&_ܘH_W!(ǁ_Ɔ' 5 mw}G0m'ʟ}Y  pF^܄÷+V[` vJF6E+;XAG(EC%Wqu7$TѺ/'/%0<=;cbʉϕ~js<7ϽثE5 Rr@^*X#= $C.imu LeNAJCb} H~1 YZA)Hcvk#7&Y3i,2ql3d^r£KvNȷDG[r",Wsbs,Y rE!# ^ V%wٜ L)/e J#vKGi.6ipt qK9]R> "Ϊ'~G,5ӟ0L~Gvl@|!W<=HL-hfGM{iy"SڃwIuSؕ˳f*Ti"\;,k֬`%(| [' SYq6b4m: f-p'1([H'm;9;R92`D79U+-Ts<naٵ58hvZ( $ )KK^ FVJo! ,/w Հ264fXz ')>U džYv+a錄r;p8kŀ  IS[|^j,<4H2/FyCGP 6]Bt;(sG)"TQ@k{jVh&b|#~ p&9&b6Vw%!7"!~If#Q>G:A41<AGK'?wȸy-%a:eEݣ DT.Vm!tgQsi %߷2 8JفXS ޔ\zAL!YʌD7f VV7m=Xȫk8 Wi(+ֻ\XY/_EUo=7 S2cEFUc[@ ->NT« L UУMuThxKj)A~JvpƐx[zKs 9iU S%ρ}@.s;"H] T}lNMr%\酶  )I5ȘS2lB2mt>WIC쒷mWtEM;b3]C)0(w]{ rB&9"H 큸bIΒIݵA^o=OgmiA ˘UH@Y 32%r0+x7ֱ,7 am81M 3O?"(s[mnHU>0 3"՝zv ABc"uZ;ҧ8q̆ds%R[+KRq0I"6R -B[t>iZ,4яӣj]Bn.} YA8ĵFtHr iP8@?C|ukhCV3EJ{MߧR¤vO'w-]Ӳ%GzACP @rH]IFw7)HB |@a 7K!GMU_M(g׭("FH}XO#rgXe!N#aQ./ԲXY+c*6boOF+<@S.&_ٸb,H)֑h Füo>^ׇaFA|uTۣoc[[RJ&w'ka{yT/26qBהh0` .)zi·1[}-Zh[V#`s+E=ɩ6\x#&9o;31Rx] r,Ie[Ad^%rr$[ FȺO>f~6Q~wi \B#DR+.wp wށOTA@t4ٹQQaޠh k$t֜m('zct 1̳C#Ou#n׏NS,G##6r⾔yibg0&7SY/%_F-xǎz1CA4Eo&[ޖ ^=Kz.\8ۯs#1D`m2FT0|Y7KLZ5N「O>%<jyE(&-!IlljEP:]ʇ4Pt 쀱=/hꏊgϖ~$#S@/V_ Km%Y>&"VgH}AOVَ݁'[B#ک5Eoypd!yj -+AnaM.c!Π <Ι?7nmiXO{؟f O<w-q,JPg9Qcv-Jb=jyaCN@jm6'BK',z^ƛY65a&SŠlzm|䝇7DO*' *\5Hӄ#X'Mkq*n Dgo*u) ԂG}~X<.j!|˳Ar OMb^$2Y3jٵ(ǜk"k^Lީol0h֏ά> x[v!SH΍'V<}ҫ*aq -׉#S9b7],\5O^FkGMFʬg_Ҍs{4p7UW˦t$!@ૺYM@xy>>qp1q=?:ׄ^ly=2y ㏑yСmF\ۚ: At>gNWDHHiXS3xz8cy!Asx7c/Jmt,39)h&3SgYZ ŽԗT(#<we+2 C94j#,tG f*O^rXg}h; "9Y"@Ԉ(C`^ibbxd$E@zBL_d<09f+bי*תoUwby3OV  9 9Y_qX6_愣% t ]M91ЈHyBo:a ΉgYZ7zXZִF! ]ŗXiɟ˕A8>Ha;D! ƥ9Cʭ0̼l~:DKĆ TQl3$8 hg$\4kǿXaT\r71Gp-40ߗpSKT$ 9.~IxVi h!Pa}܈6VZ)W{KFߌvZ]<\WC6'l F(cV_Jd\/Y4gYZ7zXZִF! ]ŗXi%BzTG79خpWzSQtg=\_L\"F~!inHkFu6k ob]vnW'Q50W܌ZxmnH=ՕM%wـ Չm,YtH,l[M>>y ǕޥQq,*xܽQS{DDn+z:D%9kC̵RUX}}f!1y^׈[_&T &ьlMk]$@> K nzLͬTr@7Z" df u0hec^2$57,,5+#;m_qWY |ʁ: ɉ8м4ZfT /vSsi(\-L)OH:3}P {&~N%4tLdAL9v '(]הR Et8G>ukL7ISy)AX G ED.b)dKj%*ߥ`Obسt;ZBP?ꖻBy_`?V%ӓ  3]Mؔ"VaS"P2&F3Pe=ȑN EELLCGF7\GW+HDp.ﷻXsZQUqsPշb[I?|N?z4F !ls[B4,YgBuwÛYPR'TU3ҬG0kE<$$,Z MCı]TvG<dB$VeV0?`V*H³;[PNA!+WzHo _rs53IKw-󇀢7G+*ds1s f@e(f ʓ $1$*կt˓zngn=Μ1h#)И`_Ţ6=y8vu-PјL;v[ -Nj.< B 8cfX$W *k.B(\K$% J‰0P,x3xqrE\@JV75ϳφ >s>+mLh5Y }z\0]y,s_c<;eGZ!RKEa. ӒD' yMVKz*_mϜ//:Te- 8f:[m%e&Jx6\FNBCЅCkR֋P;T~h3lr2@ArQCc&}CPaȜ=6!ɦ7K;5"n)M]~*{Ny>haVo}-٫P ف|O-s A٧5iG)`+[X\!_ u_3839݋qϹ=Kt1?h,zwփS>cތ{%Dn;B&bw&{ݿYoQYs}G+];Q82MޡjW:tw~, p.!gD*: u? /B۝ z Lel[yEDP /5$Yu8+v#k`\/~ymD72qOEz S`]*ڬZ@|N5g'ygE#rIvk'hs= *o\6H\5MK#e÷+9꧗ˤ;>{e\<7uEAhur^P=Wjn~U.3p{yyb1AZO! zSW&>˅U5>/`NdubiSےW4`Ժ g eô91LvT6$7G MAy6,#^FhTSFփNoHq3BP=_tABl,@#c)$qJ |yrKZO7iBљW3Gt(_1hs,Ib6 baۃH R+2W2v%#)DF\$ɂ5whN]fS.{QMMʌ/cl+2 u}DYjO\A7ИtOA ,C];ՒN&-nP0RyciR`Fph^ Ev,Z/˩dc8ɭH[qf GPr1J_˫7(?}O#=b[XO </ߙ`UNMA6MN2VEoS gi_X펽ezKpYgX,#<m Ol˦$p8yɻƼϪWR P\ovceEPUW\`"4 fRx@E[xMFEw?d` Pt)%(W Iv+gYZ0bb7b5d141b8a7d706eb26b165ef030ab592045796398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49