SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 #l ' Native_Word:threads=2elapsed=201.146cpu=192.556gc=6.932factor=0.967zXZִF! ]ŗXf1-q恈͐7ӺV -fw0w]BjZjfʖ+hzq` _OyY"<'{LxRcO6@Tƺ5i]}O}@a)L|7h8v?( R]Bۣ~U T%dguc ,UM#(=ZZLDRBknuh]Rzҭ_/Ӌiv" \,WBkXj_:Pؘ>sw :>fPp]=#DL59"Pz Y@xs`@ۥh^W[I%:1Q%+4:d8iH&|b(81h!5!YS7 ReK:<~M~^/^ tǢ1~_!c}l]@JXHW3,,sNP+G[MwZCid336+x7U'XrwL.!$jk+܍np'5q&l,a+QQ('wEΒ-Gj#e|m]v,:)}CrkVV8||4IMLJTAwV.4ևc6Dpy(}9Oli] Ѡ$@RcMAz] uJq;9WL AՈgt0,y:Ȭ1ݪ^)؀#soJƆ-_Ke-E徶nb|upKdٲfޞ_ґ륃\Zakhf'dWݜsodLy So7w%wp ݟu3J}a xV0t/7ڮHqͱ e%F‚'wRPXlIha =}h*G@Π9s l!]hF(8Zf VlFpΝ0{`s=r$$HU]:^SavumLVTV*HRqyH&͔|Imx lRQ$ d)h|;=ُdtPRc2b_}%i١:nyGwR8bܝX 4%^w F) Up^b VwfO?.jt(b;[À%q^1eW <"gh<7dSȰe^hINĞ*_Uuݸ08W~wIj/36KF3CR!x`7eqE~8FhD(?;>o=jӍ"C8\(rg7+f쁔À^a_` j4]z{Urt`TT*Ks:9*!bPv.C*aLۣbqpr  # Native_Word:1@cw{#Ncqy^R6l hwLGuHA/X^L*YG'/߈_śB{mXfB)(N,=c7G 6nJL:LWJ,ӺAOōI_}oLqB(B XV6DcS~r8 x"+>J:>/{=04v [f %PQ٠ɟ.:E{JԾGZtRÚk>I چXL.y.g{ ?YKTֽ@{>I$zdeǷ9DϳN*(]wCbtj']`͞keJqs.#>_0hmЩ ECpzYQ#ãJF@S \,YO`oP1tʅaIc8&NV,1ޕ& 9S7{%wnzT-D_ *-(~TH oUev9=Hg3 ,-sfvu/!:{)7~Ox*6pߕ-}"}%x \M73FLƑX6gMO r} GDʽ6>`ݕ!E.]מ m9 ]e6tXQXdǵ`#1dг2F&| W`Gv~R؉Y6DDL\$ LCIWLSƹ, }:{9[js C׸bm4 銩,A+Y?^V~G/d[=B}coo :Z>+xGrᩩ6r|JJ+$UI웄P/N/ґ/=O%wv!E4l̀4a %3¨ qdlMoov>˯G)Mϸ]IոC7w>Â@F(b7Ukc8_¡"$ci/b[]q)MV}h<@XƑМ}FX\F"p7޻5;t T 535,Gsx3.̵vc?, z{сB}SWt Y5f} d)l]mLg};3 &"Q*祈{.{=> (Ʋpw0:C:}ñ% X47Ir$,,"Nzc\jwȁ#@!,.b?ͪUJǯill}ȕhB!1$%ƒc{\tLWlӖNeaTs僣;lO'uJ5BX"њ&\0|RWzxg ʲh޼Fl4*.Tuxfg9nY\r,mBtlyu;|9jIpm&@%2Odx9O+.v6XrX-D!oT9mgrqU L#vYJuE<`E7ؕ*YQ3X |0ibހ㼠f׫(Op!̪} +@z[~7`BGFS}\E)Irj0&=3^5gO!NwœԊ"G9 pҒ[I+ӏS~XZF"g¹5Bݎa C7 b])vn_H 0WO'-![N&VPർ&yXx''7kq/,-ބ"27z0pUNx}#ygYZ7zXZִF! : E]ŗXi% Ƨbd'J{rRweh'gnı;Ddž|2ạАAݥy[#"ְi&F+q4Rj|%sQacŷnP)o1<᛿zmrZЖRܓԃo4oȏ~&n9' cBj=BMR]]BKKl?X8 KWd^g4-$Pz -.2V TiPCKX()i̿B& |ML^< R#ZU72AyYߧ5gд=~h2,Z12)tab" qfnaE![\ltPS@Id/F!aESU}@Y_=!oČlvi,Gmy?S0}nw7,!eG=#6D@c@~a5wvcMRyyOPGI6 FcerOpoaR#'LtK:- {+H<81L,Aar>U]ZHp`q6i'GE"{T8`V&Mծ,v 3bȚac d+M3,,y# QXfD~2fdO GpI 17YӨ_֏膏aj~Rװ~VKUP$] 0c]ItѭA;MOJ u_5Ʒ ` еzwDgʼn#euQ(~ Ī'"f <~O{Fd@l'VBR< զ1ol=2i ȳzOƠn 3/>9<'1մ=³^~z'c0Cny%};'ʍCV^uGhQf_vSDDymĥ^|$IԥZ -q-fA\JWx)p:imxT28ue dsSM:8,9r23D;sA%qܪ Ldm0JYJ67c_ޛf?ҊD[*  Vx(K,6h/Ub}EMOOT V/2"d:eg8@DXl =fl9aDt |L~T0 b́?^8-]ꧯ1Q7qghuIBlp+Hw8|ϬOnt&.Hp9,% ۃ2dn$D{h"f-$^3Mmčě$[0 Z"ϿFfF*&Y, SNAmA!n;+-l))4>\Tɔt*=#NmV1;i:Y k(ơ|H?pJv;vȭwx+Zonn kqJ֢#?Gɱ3$Vy6LȂ&-ʿaB+H=ĕcX98s!XG?f'JR˕˵[>Nf$6^x a@-?dq9'_3' ^>@MiPbN^7*Ow/@#}nWo%гa$7gu#x*eNs~t^dfs~*Jp8)6X̤SU!q@"ҪA[[fX9@qÑU% @ƚ*{IЋ}upLȘbjfvRπ<g XS`1Fw{@zt}y³dt8XZ`55A l{Sl$&H5?U\e@WF9xN4`\Io8:`q+i+7kVe@G3@ N9KH">B%~$~DN2eN!W@>طj_V;{O)-䮭{C4o+M[™Ĉ7uY]}(q9K?F2i|L >*m]*o\>?<T4Rz&mA(pZ>#bh`+ƅH%AB۔|MSY0/a ;%]'t+]-dA8^ #Ei͡[ X\aYľl;sվ ~}U!dm*䄔 +)L~%ؐ"bԙYYm C)!N +VU4 D'2kϦK=6⌂lx59"G= Ro%h30;FN.^)~4ickPN9ѴƖPR4yl_ A lo $>xžbN-ԫC*,Uusȸ$+>{VCyP/?O< ă==ǴDX hI:[9>c"a---̼?V(̩Cw3&鐯@vc\=1/e3';0ozDC *kh>]s\½aAAyeWh4N+_%,3D^63+y&(=zFwس2vDӢJl*疥 VFiEi 4Mt)k\ RVaP'=iq̡`pޢӃ֋DfVt {{la h6yŤ{imL.|iuw'(z@ TJp<4OrCfONXc!jjLͅ葱t oeCNCPM:1;ar$[dHה$ЬȺ>3A4~cAْ}JuӥE PqZPԛ:rͣ:pe͑.MHv^^"hvtXk}剀>py/Kc=㾏r_}[O0FWtҵt:E [6soFN+ӆs"ԣn;+2gX[>Ḱ Ps/7TW 0ԧse#G|1۽c;ͬv7/8 &}xFz=pkq 0F6?I[/Id]srWi ƃ\Z<6z+8q޶_7UE?"[ j=C,J XCeShDdbJm?Wt^^ 1;8mS`Hs 7H~#nQ )"ء ^)msq*!*Yu)¾^>prhR?/:z69g~y&D(cG^cS BU\iUC2T\QOLVT4IWD8k=ks+"||[< O*2/ewvʶ8J-ȯם⫉sKn~B oTޤdsD\y!sٽ\*K[7@]lr8A 2(u1juywWIoqS ,2QxwK:,oax(z8ۺ"b<յ_dsBAřr g.]44|׾r&66/c]L YJe_ mENΈ{]Ise[-o'21|##g)Ey?c^DIoAp88>V}Y[CԸcHr|SbIh|_epe\Cj|&HCdHJk )`4%a޽ڽ֍lHDIaQn-" Q (Eꠇfj'LN1e?k (WNdy֮ #p ŜuF$o͵\C<ۛ0 Qa|O~;{ȖO~9X ~CIj-lo=+9sH/fWݓPZ@.w*,rjP=23F١2੾|@i;@}йK6MȀӂLí)N GFٲ+꫊JO5t7qQTu1i:T C1͊`[.d*^qѕ㳾 N~ڐ L8'& -i:IyJ8*㭔LE1"nI_͝k% C5-at~ȞbMWZg(K!dgY@=]G8] B*ܩN̡+ʷ['HaMLC$Q 3dIc,2Q>٬o9#T]ӊƟi->B˧GHYګ2F{ٓBpZ,poۊ.JO[Ԫȡ_M<7ۻ/ȇNj5فؒC5euhMYRNK w6bϳ%?*.](aU!h}L,o ]i~H yfb|1??p9JˬT| :De.Eyjq}~ &ZOm+D[MpR#Sͦ)OkNO^'Ú\{]ԃ=׽qxPn*bo)^r츷?2}֕I/0Iijؠ 2LaaN ! g6&y  8?{YzAp&b5&Tt`.P `)dԣmvp%KF6H~< #.~mJ<܄ *u2դѴEvG_~\t'g@`?֪5 ʣH`O6v)S@ i a&$/Ԏ%ӌ m&w* 6zg¯V/*¬oMWÓE{z=mN[-g`!0] =L]i2Vn-|]*L{Ȧ\zJG)|!Sg5{sbwa`I#$ڙ" ׺/s,vZIIO~9ߺ[ ΰƆX6(mquR%}/]+c3SeEdgZ]^R@!LPۀ8_[ꋛn+i_[m*F|HB>%t8ҧ 127N̈-9 !;Ibg,&I$=i/oWUT\E8Dl׍xC4'Qr* E/5Ҫ_cGYͩ:OjY$P֍1N& p'[6 ߊ.rbG/Uuǀ]ӐYRhxҗu'\K}AiAKY\#Dz Otg8HFhqW# .Qn|Y-.[gn &x |fPURи<0GOk/|$ٻ,S[ޞ?}~ i?@CgҨnlBօ %cPRCHo±7-җ& w@۝&a lQ~}HCh)@!%飢qS-&|i\>>uL'i Y0΀ڣB]waGp7ꤛr;1DCN\[wIMQrOje鞠E$7] ї#At^*7 .?u/I_XPg֝vĢ˔oʾ4>w/|%ʷPYn^l?=ՉFv(bNm$4A s#`I&4X kF MAH|s@h|a}E"WVm ȓ(tr UOncb^b3Ή6C&H'&|X{&ںr]),6O[6gMm&