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 ||'rtD\ ]/ GPU_Kernel_PL:threads=4elapsed=7.425cpu=12.968gc=0.4247zXZִF! 6r]ŗXiɟ7KIxjbk- [p Ԑ0Ҳӳ&.i JHȷp_UæEGZ9%]u!i}EqEἐŦFl8<\ggX{0y8gxm3#́:¶:Sirٻ40R2_pXŏ_!{pƹd2tArϠXIO`h _QDO$,,tZ)\[)qo5 qweE`]TbW?E`DLXn=qCǝkUCH٪o.:$U&J?%PL4D$>1Nj-.F d&=e҉,LsNvp{^ȉFAvd 1n6gYZ7zXZִF! ?]]ŗXi%D47R%Tr fѰpM::Qݙ(P=e65U&4-1rBiy]">A7lNc% @0J >[cD/FDw\Qz "ײ_ɹ_=C}w]!8ev=[sI $v Mp/pdPi=OȾ~4!::rЂSlo'X%iEk#w~gbt|إlA"hk־W,<,K#a1oVY%:Xеw+faݷճ4=@[Ũh_1癖 *Җ?-nu/d-c%06T^Vc:'N(M"T杂lJo7jc'{bFǴAo9&c ecYzM93A$h<=޵_g@3)CYNԊ\GЁh3_@3`5*'4*rNt ܴJpqz(sbtg/`{$*ؚT jIw+- J`jv\a<ӗ=aEO_v>EÎ=c*]&@y& 嶃*W=&m!q"eTڇ2 T+q[ U}7,eG )l.QdHTEZuNQFWܤ1Rt:PlCUQ5]?ٓ7ڸXxWѭ$3,ԓ|((.t"SHք3?PC%T2zxO+%d,SL:Uz0sV8GދGGg}T'we$q3;tWNM}孾x)Zi fbd+\c*\LOLŗV̹Hbl]dBYvi]%m?I%m&yeP~ނ+#E]~VQ/"o&$s#BTw`feXү_ ܥ͓# M~,YM(rk@s/vAYN)L;MN#.Ң(u >3a.Djq~e Mq1V:2EE#1 Z F29k;>TrAm+_Tegd:V!g '˵۵/E~>Gn7*NL+0IGaU~wԬh$] nfuC#WžuH+$ww$p@ggQzjpd"Y } 4f} -@J^JbHN]:tz{F<`nocdN8}~tMv˃BRTV\2m\U8dkOd;A0JB£WVr|#tһc.ng#2q`.É;qq?N667Ϙ,[v, kا ZƳ0w U=o{? 8 tX[$ nr.Q" IV6PVO5~U:RSjj$G/پr3Umc Az]jCYe\'1?5/)Mr0Sb1IWT}3Lq~$I{Ũ)fIkn$ic0$O6 {Z%'dFN[@@d}LH< -P 8e>7BC?<1)m &.z X`Cg01cjZ.`#}3˦ܖ^"iSBsyQSz[=DPnL57s1K Xp4L)[^)Is5" gקb2ݒ"t*SD ٚ͝4[Nغ+9&F @@'4ԳNkZYXҙߛ8iFꟛl5 tjg{LYI:kڷXt9,T \OxpWxO)+Pڹ0Oc pŐ|Z؁ (Gxʮ1ԓu GZ f8oL ~@sE!VJ2g^Q?|ջF0H}i 'N@xk܎^wj_2MKA:2+:tB'qsӗAaGTy P رwzʖ**KD~G:W^pF=G D5Wq@ ہ&$2xr*\a]&$ŋ~Q p4ʲ(Y!VdR\WOY5'줟P%=\?'5P9)W SB\4vO`1Q;G4X;$=k(߻M~ ,"?-PM=IVpBJp؃xȾ-V4 -|عQ>A hqdWkc, v뉩ieWdwoUϣ -K:y4qeP#: jAsYUA-܀'rR T~b^)WH.ǟUd[(m6= qM5YVKNX6֎8U  GTA'Q%GPU_Kernel_PLGPU_Kernel_PL.KPL_execution_kerneldocument.tex?'M%GPU_Kernel_PLGPU_Kernel_PL.KPL_wellformednessdocument.tex1'1%GPU_Kernel_PLGPU_Kernel_PL.Miscdocument.tex7'=%GPU_Kernel_PLGPU_Kernel_PL.KPL_syntaxdocument.texH'_%GPU_Kernel_PLGPU_Kernel_PL.Kernel_programming_languagedocument.tex@'O%GPU_Kernel_PLGPU_Kernel_PL.KPL_execution_groupdocument.tex6';%GPU_Kernel_PLGPU_Kernel_PL.KPL_statedocument.tex@'Q% GPU_Kernel_PLGPU_Kernel_PL.KPL_execution_threaddocument.tex H';% ,GPU_Kernel_PLGPU_Kernel_PL.KPL_statedocument.tex7zXZִF! +M]A-MՋhvG"uIBm5MUVeUDrĦ\5L@CH @|TA#Qٴc$An  &gJJ[Fh ezsFi Ah,:2Bga`$s;쵪A=}-`>?PC%T2zxO+%d,SL:Uz0sV8GދGGg}T'we$q3;tWNM}孾x)Zi fbd+\c*\LOLŗV̹Hbl]dBYvi]%m?I%m&yeP~ނ+#E]~VQ/"o&$s#BTw`feXү_ ܥ͓# M~,YM(rk@s/vAYN)L;MN#.Ң(u >3a.Djq~e Mq1V:2EE#1 Z F29k;>TrAm+_Tegd:V!g '˵۵/E~>Gn7*NL+0IGaU~wԬh$] nfuC#WžuH+$ww$p@ggQzjpd"Y } 4f} -@J^JbHN]:tz{F<`nocdN8}~tMv˃BRTV\2m\U8dkOd;A0JB£WVr|#tһc.ng#2q`.É;qq?N667Ϙ,[v, kا ZƳ0w U=o{? 8 tX[$ nr.Q" IV6PVO5~U:RSjj$G/پr3Umc Az]jCYe\'1?5/)Mr0Sb1IWT}3Lq~$I{Ũ)fIkn$ic0$O6 {Z%'dFN[@@d}LH< -P 8e>7BC?<1)m &.z X`Cg01cjZ.`#}3˦ܖ^"iSBsyQSz[=DPnL57s1K Xp4L)[^)Is5" gקb2ݒ"t*SD ٚ͝4[Nغ+9&F @@'4ԳNkZYXҙߛ8iFꟛl5 tjg{LYI:kڷXt9,T \OxpWxO)+Pڹ0Oc pŐ|Z؁ (Gxʮ1ԓu GZ f8oL ~@sE!VJ2g^Q?|ջF0H}i 'N@xk܎^wj_2MKA:2+:tB'qsӗAaGTy P رwzʖ**KD~G:W^pF=G D5Wq@ ہ&$2xr*\a]&$ŋ~Q p4ʲ(Y!VdR\WOY5'줟P%=\?'5P9)W SB\4vO`1Q;G4X;$=k(߻M~ ,"?-PM=IVpBJp؃xȾ-V4 -|عQ>A hqdWkc, v뉩ieWdwoUϣ -K:y4qeP#: jAsYUA-܀'rR T~b^)WH.ǟUd[(m6= qM5YVKNX6֎8U قE6gYZ ^s^'_% GPU_Kernel_PLGPU_Kernel_PL.Kernel_programming_languagedocument.tex7zXZִF!  ]A-MՋhvG"uIBm5W ,:'W|Lg' 4, 'nxŷKpU34nYnF⸙7!N T@v+$&ݤKB21^ г.G65)…1\+ߙ%:T.vטqBy>-9@̘7#vgcwY>| aؖ 6duF쬂tQ-.pHuj "SVK^o &y<ރmAŝ Y/hk R٫ ;cz VOi\/Oh &ڀj63qٓKHj$taP҃~ue(|MأcV!jXl{OR'&7Ͷh$;2jn xw2[{`+beG %yGR;_THz#|-}X|lu*"p`${d@gzzYoӐr8R;#" Jz ^2/m<3q\ϥo֠?{B.T[М#^mI:tAG)`1o ٌFj:N:eN9Aj稾N@٩J=ۓ3о,̞a@?Sóä3^$,Glʫ7}ɥ-FFb':0«0[0F c.\mw_J 5O]2Fwtflq dԱe^^q-;y",E9CkQOz7e'(?J.8VC{/tP:~Kr=ayݺ-5:^Q3_'6T,y_*?ҷZ~#Odӱ+h*mB21 ZPA3=1;X{9Gp^O8d4<*ULSȆ=ᢨT&ѩEc²&mؑD,}X5HQILw|Gl)2Ncxjύ(Un9*@/bp]7 O{rX;E=e޶l:C)+[Dfƺ:v0V\EEN%{YљlEх&: -YmduBCA4$MUn>-z%U#S{)Ũ?/Қ՞zga&T1s'ӷ_8|F@k~%]2VzhV Vʶ/!D/|= SD+2<2gPl4kEʯ\j*MNytSLZ35 b"9Af70Me&_[$؏Dd׼~'!0xQࠣm9@w d%-!р槞L]Ҫ;=5LAѓ$ǃ{H\KU/ޱgYZ 2 02{'1% GPU_Kernel_PLGPU_Kernel_PL.Miscdocument.tex7zXZִF! ]A-MՋhvG"uIBm51Fc aӽe\PS =DnPn)fe]O\aٙo~EW[( g4v/uQ'wJţT?gkw`)ծ["Q(,.ֽ8-AEUhKZ0-T HY 3y  Vѥ`o06vdw~(O' 9z!iGE}GJ tEßIT>+| JJ} G*=1؝ꦲdm`F)|2Q^S 3bxj[+x˰~::eީռv_eY<19]s 瓆Zl)Nmt@$#;H3%uqtzaƈ1ǖ)db9VV?IB+Hgou?+d݃!~CF<}=8Ux7D`.qUVEJV3' 3l[L?eC>S^`zmu~uQ $EUOE 4yT? rڍ0¶Ltt'Q-Zh|%mgC`dB)iA.$^5^Zi `z2-WAvӟJ5>Wۯ7\jXI8e}m]n$kS)xV3hRG![]Z=Moӧt[N4pѡ {Gߒ+q z A 8vrS)s?]p+ a HʖCN@I^߯#zgYZM'=% 4GPU_Kernel_PLGPU_Kernel_PL.KPL_syntaxdocument.tex7zXZִF! T]A-MՋhvG"uIBm5MUVeUDrĦ\h "LLu6PW(yQȢO?vI9bPV/Z2nlQW'5%˪g"BEo㭊x5oBW^cfgzѷYmdH@ e-&RΌ-F8jS? '>cr$c8{2acwAuvͳDxoRk2s>:ZVflŒiزTF#Xj>HF/2\Ձ!.R|dXo!| 1*sTAM$d&i2;pI*}<#6aO2ü;dי)Z?Qy:'bz)LH)3 %TqǛ\ZhPj 3}.tSZR-I{A#C5Cs)AyuKb 0`)s cBe}WV|7Y "ANax߅2Rdd kT/J7]z8&[Yc|xR +DA J[ItA!؇>&O4q$K`UOTo9c/y!хy<@-릉458$̦W>i%{ƣ魱Tdu$ͫ/SZσ<:h"̿ .t5= b/,p{p/50g~b,o<5H@@qe#\_-ؓuKqWՑjg̥!]سfݛ&g] eY 1/{c-҅ d=Gh| lJQI:E)i6ʤ^ C]!VI㸺 RMµuFj d1rH*.QIMiK:v[Sdi):>_N UlJ7W̎9,ݟzK.f}=b]KjlhĘ?7zN@ҿwj+iԬg>O kk I]RC9ݺhz=Sp6jI(n2x7 HX"ǣ#}-+]l0*s> bVi5!)F'yR Tt".&lE_f jY6t)@)|Aefu#N<,cpwPIE44F`<f# $/48=*=Y 6 dgYZ 'M% j=>/DG}Cl}8j f;a%J7@Uz WsNSNDk¦%!e~ 87\x}cDs#Ec#kp:xبߕfʧIE=}v&ދun6tDSh9t ?J1bd  rٛ>:/E=pJ li%nurڲn^3.a%v>×\h}Tp2$ī.Oi)K'YG.fꚣsC"تD` F\~a22S4%Ӽ1Q3NaU}L+`h)t{z^)^WdZ|7@EN)#$L'r:Ug%!yJ Gfiwwb sQ^:.(-| rXԟ֎3g)]`Fu`CL#iDis 5_>1{sx}a%γqR|1x xS[:\8嵅^aV3qBC:u !/6:z&G t\(?gzSuV ߿CCeV3=%OFߟIʪm@ftmݑ4eD0*/KPx`gR/M?.5  BTP,~Xoc)CH.SqlJզnHܺ^5 .gP[EfhIsrXD8T};(dI2״MY9v3H%݈Stqocz8_xYV DZi _)X9?NRAc,s @cFN&S?ǫH2B~oRЗ,g+ aj#'z jZY1r>ބ.fS.@Xn LSMRT0 jm8T=^.#Yh^NmcX¶EFD>B[X SV]8E,0u+*X Pn: ޸a&S|q{1XOd3#Xd!PȔ^ʤjrP2&\ o+;F'u1+JF**הLXɍR O{9|ط6٢UMa5H{ ^ mgYZ o'Q% dGPU_Kernel_PLGPU_Kernel_PL.KPL_execution_kerneldocument.tex7zXZִF! l]A-MՋhvG"uIBm5MUVeUDrĦ\6D{$bzKˡY91y%1_K}%qrg B}G*Egfzlu#|=>,u 8Zuz oF xcllȮ5y ]eU…#w8?@ ܀ C'l& r!G \uMnX] ٙ{X `=G+g%ro]$6[e<{!"pXB~$~4Z~t__mLhlZ%yh\8Lҿ2a0Ʊd,/Soac~ڬo}K\Y<) T/2z0u&|E](\&`2f+:jiNʪ7ۄ$c Cf_ME1,d+E+V0>MY;"fh3v 8Xa,\̀ULٝO'뒇`yF 0>݃e0@sM p~sXT I^yͨB5 Y16<|yvn.1̎׍HFiqO,zU^3IK?Y9hl+9p'*܅)%h2*ک [Ц^8^q`cB2NCdE-|ؙ"0ӭ?wWĊWF/\rL5-//u0-2JBͰa9c9ʛɫOnbZUͽIZ )f`kzY-u\qs&һFl"+kkv;'3S##qVuϖS ҩQ<DKerIbzƺ6BJN, &jG1sHh7Yȫ^gCUi ϗ1T7J؎YB Y5`h`onGA,ƇmaC#cڷt؜PtwOޚV=]hq-V:$v`])+ˠ"-ߛ&Km=ainrƎJ"$s \c7eSǞ\ \ ԕvy j>uJ>$Y] f]~V1ж<)DIR OLbcF\6oC5Z^/jC $ZSyKNН aDxU'mAϞ\8L)?t':ELCvM\M鐏 hő~;s u&=-0,l햲rc ?R Hjxݕo'xp!+ N"ޏâdVy@۸{S*9 >I4LRnщ 9F{(:mH_kklr /NiHV;"l-~9pͷ-;HtHșpb#wEAǧNW*l {1P&NLK.2*ݼP±TFu o/rse1O{귂l'sF:Ũ+"@ Vx4uD "R/n>xQ5v`!(ccm%m̉% :~Mb][ „V e.fx Z%bnMᥖihx 2V@ l$YcRcT#jm\ b9 eO j[hEѴsyz8Gv|` L@3؆pn& zpx7U2s!WO&`?-٨7?FFjOIյ aZk=l rx2U3 xo>';IV+|ՌWlvY0t*Offm?DŽ "d WyoiWoQmjxҴy\vnV.w+rSB&'/Â}JkG#,Lo+'kY֫1ǮZ)" ("8 C,t43È_xre3Eg N]/`ɡk驽׉3J*_.Y%a޷@j2N>{;4;JUڪ%,ɺ#=y ٢nBWkaK&d 'Ux{##2CK3EKXYc/|0,u[rnܔyޢ+N}BG~Ċ$v'cyim%g]7e[̿ YгkJ vR QfH&&2>o)U7vSx6*Yex('FK ú6* :J<㡜 FXNQf*Z)diwUtcqCS=]VImcc~"X3?Zk]OKd'-fvqVnOs:OЈy6O1J!u[ e۬[듑Vgc-rC8NkY)EQiS@qumgNuA{8W\TQ/>oF%o#I\w͏gYZ