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 pp%l$ ] Gauss_Jordan:threads=2elapsed=116.574cpu=196.764gc=6.660factor=1.697zXZִF! [Pm]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z%xzk,p.ev0|=e\ 5)tRqE1Mm.fnJhbQgpfصF=֚S)x#r֙/VǩMCE|)Qi$֏Fxg Y ;A7V’9jܡLr$mmOy?8-3=8iFI8_qUҢ ;`ܪ,pPRw1C>yr+KT=hilD V~`HUH\ }\SŎLt4Q &iP>7[V-c CI8.agbկOp>P֨%>ٵvZ]<2 CtmٺPvq: kµ*.\xIRg4L`c25H}UP f&(?h^53:˕c# Km`{IcuX/ύv_gz*:8Pc@"q֫4R;#*Hi# !j{=c%-<ҥ<]L~3hB}yγ-5v)Dg } h*^7mVZz@<;Ήj/(v^2-l{(0 +/RY,/++֮֒ClYJM҄l)1 ~&ܼ# J^JY/xOTjeTz.{PeSHfo!p0çY1>i◿ t{?j߼ܾm" WVJ*Lx"gO }i8Ϻ(06\eVfE_@g ~1z٩;6'3ܿ8-Asڃ.ܯ'H㻦fH5)@)J{; ZcHhe4-%d;DN3yeP=863U>cjwwE Ww ~$CIgfǫaMS-Z ÞэKʧckX߳ kl2RHAѳ/Q~&e4B ̺crk;&ɮE~Tcp7bȮxx4g¶TAct,_]JXya쉒5bj{v;"3ϖL%/J0cd̐h7_2=,S8z=|k|R=?QQZȊ*QR|zxP=nl] . =c1ScdmP(`92>,$x隥WA_j<>jG`*!7 sJy  Y)/]ʔJa=~EZők*].Dá(i{͡(vtNiD % Gauss_Jordan  I[L4RY2& ddނ5#;#TYO!ohS;lWӮORѤ,2ʗ!MzI}7SR=,R~m]rDIwar1{*;٭%BVރ/D#$u@"urKKVζNa7wnpR ('O|&>_pI6lPэKAI q "ai>ޗeCux{#OG׿3P6 UGYpFH58Kr+ﴜKs\8żԦbKauE p9l=4~{ 8J#IpZ$-8c< ,,{TK\AxѶBJgYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5RlhpNtO>Rs74s^|Y{=S 5MΡlK>(TaiV\;1pg!Ivz'zl3s=}b5i3Mp"'  BzuGOy1Z;,yes\js{."{AGKPdR+:6JδOH2}zBk!䒲᡺߅+וw> A}1[(u?vSe12}5.Gw ăǁ3b?*ʵH~n6*4aV]CN2g}p2ہg0%>v}e/;{>^z73gYZ7zXZִF! H~L]ŗXi%>gIlJ/v$&0'{9~۾o-uR{%gFRMV阇?Ų*J\6!(02'Ie|O9@K nYfۗE{(+* VY.=7>:E`XLp(!${(Ɨ?eQݽc_tsNOU /37|x ^qˉU~Ha%=? 2әIBFt t&KI1{VϰhLXD \iڤ5רb.+6ފsfͰ=x䍱#uElxFgguU?-$_ٽx^Te|r9ҞI/ҧ8U :ND 0(c񊝓N_wKWNkA qnN*p )XyV[JJ{X ,Bb{7c3lK=I:&nЕױ]]~zA7c{ 'yI,um{\کbίT7Wi.xx׭_/Oّ9y`܀wf?$Ū7W Dڜ7 DFS2)ɬ%A. KO26M1i><'}/NnrE،OFjUht̝ ;'kv=KoMlj8e,gZ]\8~_YʞF;^ ĺ 6 醮[!W_*S:5O5ST|yd 0@yy>$x<<ћޤ &g]2O\#a>cF1{k <{Pi9.iߦ4a)fZ)Vc2.L43d,`Zh .L*+%Y`}鍖K9obF}zf~g_‡,sqawWX貣h@ {ul. Ԣx~?Wv1E!w4xT>#%HΊꡔ 7Igǭv.m?aPي#|lE ?P1`FUnNHsw"n@;O/&M0ʋX;#+Q:"c~e8]Ŭ"L2l_y26Nt{oG1=[Ҳ-2yH1[Z84%H#+jV֗6ixR퀐oSgiVQƭU{iΐDF8 TIؓ(˚2iNNW/H U$pҦH>A-ҝCI rZ[\Vb!7j@U](&PB֒V5ynhIѩ /r" r :MzPUaٍ#WKHrS~zg_^ՋECu(O@jޠ. K$0ڨ]f*X6Җ\Lz*KN\kx_b ftOtvdW#^y|4gDU. >֊Rn̠JUm#hՒ:[#v4iDvpmˡT&4Q(J7{OW27$^.@b1 /yߎI,mKSY5O"2fQYZ![[!C m Pi:Ӽfn%}oh<֕;՚U{TЋ>K+Ĵ7ω?.G ,z^F^4R3bŅلR&d}+Ǒ ɌRs>.+[Kg51)%A4H?5 Vz&ΐΚ /8 /A^l3}mRr5@ǥnx* i2L({"%:vz&8wQt|)^׶> lLݖ *\띎MYtQ(jv>`s3>%~kLlPh*C2 yT#` G\ەrQa]T{Hg0GP>  v<>AvD?$]%IZLUO ( + -#(ɡ?UTr=kr^\;tde|=F~ 7Bz #AmIB6E1wc:Q.}9G}S2m{OFaXnCbMϩq ?dXMg`D'J5f ct`jPb]2$\m਷z棖MѦ+K4=%y!ව% F>jmMg{o3GۤY*0 ڟfutH;|6ѩ7UJ\εzntt:E5 '*t'aŒ#c#m/mIie' I;l{kɪ=ݺ4Ih +`2FPBS:Kz.W&k! F'XPxv' ^N tTE p&5|t*q g_1VyRqrW7Ls#bCh8IOì# yTb6Oqaфf5OŧDn2TШf|ZlxE|1ӾN?iD(n ǥWL3!:M#S2xugo}fiњ2rD.(å džoKwOnCxy٘6v R0gyZUC{QZڍ- PaNSj,cE2,KҌshZk膃D,/OW•0pF _RsL}8'όBkS(⁗O/4?{[d6alPߡR6e#9,23x_xԎ ob(tC[y18Нg*S | h>Znz}j(#ZA/;k,FF+BM4_5v4TfVL)6ԣ)h]Hՠwyi$)9X`/s,v<.W)?rMw^:mB.};t0CP$I*mvwj&DŪx:Eb@Kuhk̒V۽4P"J-JqnHz:uش. pƽ{6>GXuKnVD%\ΙFSw&xҷ+*U7(U?NնSzhי?5PbҌa@4`*&+PWDZVFgݐ-8H?[Tm++4kݑ_]enfJ)I YEbp fS@g}uF(o)H*#wgLKhݽx.xR :CS E.@N.8U)kC_cKe0 vep=Qj+~agfV9vsP!.1T䟇y1Y^wu̕OΎ:b8Cp/h?m)(yNv iྊ +`s/>Gikj]X>Cn0>29j{^ _қDNS [T6b{ʒj:VzbC!ߍiD/@r0i}Yfɹ,udIV0hΰȿSD,Zu5nM?ҋ4(f{@6}gO`\^|72Ry{oAu+,$3@Ëge)Jq IAJ ZQEq7qv5|Cr (smO't_/qge[><{X%ĩ +x][e险eU,G2@.K>mZ.ٳ}rhrHq}ZCd౞Zʍ|u4^S\4 yh(AE.}jN~x2'nS=&|]FEyyɤN*A&4l2sxTW}=z=pdpP|%x{GPLi "È80@QJġl@=+^1 ?IF!j-}cR`" $R⾐ %E)ꡯGsDfUMQ^Bcj[q$q`[ZWDJ5;08iup.g@DŽ[?EDǛzDzuM!tv ]+JDNcm)_Lj(k{?GirbOvgη.v+,q$df (~^;p!xCSBFv&_M?zgg~Bxv 1bSE -AYpA3XL¾eQI<N%*#W8'R>W4+`gc{FgKdMe̬KH'ELꔵgJ6Oci-F 8I1xɒ|~CcNcT12 F X85AT1Z9al&>63 ş\.ƈ `o;5ݝ?`^^;MN܉U %'P8i bEdsN~憎V+mơ`ƮS3+<'ꄤ.d4}#">cFz&Q8[t4 mi8;(k4 `M뀗j X=\}ŪCn$rK ZZ&B:e5 0)'5}\/|sPRxy;zZQ6Wq~<+mYૌKKJonP_!ʡ_ ٗE; +nV=zm3+hVH]Vݷ+ Joi\9c:u41-a 0AA7]3c!iZʹ 9̖2U8bN'ܫp/r #=/0̉H)a}ɺ(\HWjXnVI3W)7dn.6wXRwHSQY)UxV\_ 5z1ݯV(q S٠Llv(^7׽=9P<~wonh`)rgw!s~7ɔveQ Q|_') T>jyݽ ba;]#Ɛh{I-t!H|s/s 'A 7F\"\ i%,sS}{m+K2|~< hiPpH&3yWJ )5q[{2yhȱBx8}{H~*Gޠcb&Gqx\ʹ@i+nXDfX .FCUpڡ14ԞZVs &/W2a/&a]xsfeբ*VNR[vVFypE4Cˎ^ʙYXc̺zBĪ6w[i -Eb؊Ժ4