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  <)T l ]S Mason_Stothers:threads=2elapsed=2.992cpu=4.936gc=0.104factor=1.657zXZִF! &]ŗXf1-/6vR[L]Kˢ!LdBsL +%zA#ݕza5M$/{|y+)~+jCէ{\E PtuRoAFs׆7dNbmd@@o(8ȠPgYZ7zXZִF! QD]ŗXiɟQ>G+"W*G(߈~GDlΏOy L#gJ5~5ؠ3/L5`RT}YZ7zXZִF!  p]ŗXi%; eṼ9l | ?8*q mkbEU0PXw\>d'=91BSƱpo/̰GG<"q%ݔ,^!C)8)4&vX)SNa6l-+οYbF kNE\<e [X `XLUE=2 2Ry_A !hԣ R4nPtLZ/Lf[u_ WɞwxKUBz$!`|>^Z$H?8R0s7&$콻 ld?LWs1Ж^[;&y#^9z"ݙ9TpJS|W(K"ThhLUn9 yhLq0E kPV$JF쓷Y93ݑNjF8ai_S0_:MN$uF:ͅ )5 s R~>AgYZ2591d1d03468ee913145ace47f0779cbf9782a7d0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 87718d0c1aebf020a6cc483886932b0e8197300b b99fd466bfce9bcd63f5212920b2f069f7c60f5b 633bab71540a35ad6006607babed2bef3a292c9e ) Mason_Stothers F)G% Mason_StothersMason_Stothers.Mason_Stothersdocument.tex7zXZִF! jq]A-MՋhvG"uIBm53*'ug/i=߶Ryo]Aؼdiw׸;:|+MNClKWy vYa)mcvɈ[J;%?7Bo}5߬A=;l-k<ź悺~^OĦ׈V:p6ӷ0F>D3387F8#%ih3.\1/*e:X*ᅓgcЫЂk O(Gw؅ pӀ wX}RGVхr6ULZs#DXAyƷxM@y!%]koᖄ#zՑi^W1pzUgu(<* K§˨(A WCZgm9dbB:.5r'k硌8dR  *x}jknZXRw?Vn5ŭ*HJMk^'Ӫ/c G4z)Yy;βST|p$VR@\.q[cLc߀6բt"[衑o9V.4m!#0RY.wvّ݀G qʰ TPԖ~8\rH\~ m5@P /E$-Sƒg'2$h] Eh_EݯbC'g8Un ]*퍼4nɀPt!,>6 #*aA(ɴC&+*=+p|?<Խ,Iq?D"i%A5O9~.,V"hO1/=6~}fʆ6ê|hHn{H IL0es?eUiKI5)i~c!{z+/58,%>ÈO3K< f=҇:9F%&cAwE &\J8|7BRǰ_ v937. g9$BbUt-]OJh㋃Ak(Ǡ9)3F}pd $fr,PJ 4C"U=b>|zïZa7Bkʞ^~jm֫c i㑡6byLB(?VoM܋2+ -ëSCzV* !9r)pF^Bl<;8w;xu RsǣZ7ɯfM.vX5 R˵oуV 9yh<D5UX XM{P<(G0 8_C5sTT>"0 & ,DTnI&`_6:d.)'ґW+D ^n[O-fҀ=U4 FiiGR{9OK`ZHF<ARHh!Ԗ0܁iGmt$~GPOigLun"T}}Z؅7O EoW#*I/ދS(>i'3(祿`z=S4wYʳ$kk%9W3-AL/~c63IdPV O+V(ֿ$c[On> kc]P|_X*Z;.^sn_m3f#cT=rP`8^3B37u|[?j/6@*q||`Nȿj;,vRI+d'/Pdj}n Ü+yjٱQo42ØQxcрYv]ű\OC{ (E,g 6ȫA UqT Z!-0{4$ oM6 k Ԣ BpWf$d!96?&zao UpzpꀽR_k& p!ΠP&$~F53ZqO_pt3Z-5zē&`6_#wm!m#v,kBo/,! nc$婲O1BQKF֤i7Z=G>Y1e}!- Rɸ(9(bJƔM[ps;` n rI۟5+(FRA]UQ)Nt dPhNHG;#*4(\?mcmR˫;ee9)Dq63,C o>K&<%,bli͸*cuUEe*lYU&lIբ8maOAlA%J·qO'Ǔ󭤼lS\O[䰲m*ˆRj# =ki-ۻժBF? ͛9i?N@3s$4Wne !t2gФ2 $"Eaaپ(h]`pܲr%+p#5 B²ӡ}yfn*JӤHeϴOQ'nbj>[裯k:f+aSiFUn3}P5X9HVJw!lLpߢb.Wi /j~{p&9#ZуPg 5uVHJȐ|k:.>9.!/M,B[&aP8?M3XMgmQ̲La0s&T%0hYmG6_=/K;¥$F6 ljc'X]旅m1%׫\'tSCj*@o0;d 1v2ϖ^'oClL1Z$JZJrk)g-`8Kbn͋[ V<38!% <)G% Mason_StothersMason_Stothers.Mason_Stothersdocument.texrcVpmb{w;]H\C6^I&Ԧ+X(Z΂'Qd3Ym:R3tQZLpw ,yUM檡D)ā7QPc8TWW|Z7[N 3'~;>\sl43 ysU[Q.0Y7<xxb}l4>1W>MuUi$ɉ|_yIbKC@!9[ZD#ze,nh`=UH21%]T.Qȿ P/GAkC~͡`;v!\Hzv۞)* !nXytofRdKp]‒./(^]5-x[e`ZMF 0g,Ξ|u}[X@B? ?eVyi\UF`̀LZ`cB:u+5,0Ec=Д oX _G^@<*_|24"jF%3 *b4Ƣx`^+XhRv T6B7[puz^cPZG~Ϋc[$Xrp0вИ(ǫHE4{u7ְ`lFm|]Fu$ٟ舄Ҫng.qHXlX{cj?\a@j7d"KE0{ߟIk v3 Y(ҸxkC<. Z3 %wz4먵%H*.,=4KCܰX^k<6RCHcF#IxN~?B<XEQfs+ƺz?E2bM8hС&*emo6[ DiN@)yQMny ZOq,D֨ƛ. )-GqdU|\OT@.խC@x%CM>97@$or<2I45FXExIyu` />j"׬5\hHnj/$oIBy!e9lbU0 E )ƸȰrQeUuDu " jgYl9ۣUY,;ˤ9OH6 )pݛa'rW)2Fe2&.[蔞[n-H//LJ2At苞do?;?#!?*R`!áxȗwTb*ZTYqx&s `ojX_䏱>O+8E^5 Zc xͦIjD.cj_*PvnzQ9#=w}/w{/į,dL=Z%|PmHcM)~c,aKnHV]2jPR}>njq mN}:X$r&m_|_ )Md`LNJo[;SsgAl= wil9FBn&R7AӤLb&ǘV۴;Ej#Z"uᢳS k TnEO.HvJoJn. /{#pTڹ|bmrh@K{sޫOZ3s~@y)kF|IJ -' K@ rv{QF>2l#S|"^z7Q-Rzը 7i2 B[9ꍘ{KF4%c0 5C7 ]@ftОgk,^rΙY; I=5HMwue1쀵{T_HsQI|l xySB;|@^9CF:eq:f=q$Ԣv.@LA/vc1O>XG'11Ha-AuY ]nZlym~]cfMu*{da%}p{@] L!U]נ}z؜˂>$ݐ]8tލ -.S;$MKWk/OC km fMWqyXgr9D|BJLwm֯ |6ܦ;[}#̬'am7vBX ,`7_z_f3t݈g|ycpO܄  -ged06? &X2%-[0n;BtXr]#bє'1mwW&pԤ%~r +5\I!AS"aAyI)u^&UĚ1WmpU[dHr*rHDv Pf3/Օ KiDeȩ>\˜xbs4#V`|6S q6Z#HJL..Y Uq`R2538:#SO•ݣkNni `ܵI>WC:8\wbPUE^%fDkEd/-o@B)njg aTM>t!0-Xy&D)t^xTK,s8ϼ3KKoW o<0e;5%iro>˱ʬjldtxCa~=;GULHd`Bv| 駊<9l6wcvN8\3.1c>&>ѶƢ^6C2APex9kSXh