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  Y Y't 'w UpDown_Scheme:threads=2elapsed=79.010cpu=140.740gc=4.252factor=1.787zXZִF! 1]ŗXf1-q恈1$1|-~xjC@c+幧 ֠{˕}$IOc5"󏠀{͘O{pQKz,P dTK'ZCJ{ӈ:3óҜ'qe/XƧ\`.\1 v'? pgBZŘE0?ju& Tʐ& uL-, #hTӉpm- /b%0^x9N;K [uBNA9?eU$2l#džrxZ[1HAWn4XJl"nR?&:sLSs5Eе_OS|/ܮ!ӤcoDJk9PȚ.5.-!oҮz:PM_͕juA4VH3bYsZgwc3.}MSGmqZQ/ rB>zfЛ4oMi lyLPS5܁~ ٘ x1,^+ryp{h/4:kH4uƐy f)oQ;PAJ>3շ(<ܣX :/^4ǴTzx1||v̆ұ"Evb o67<$HfϥX=Yڳ釘Sn0-᧮Ҷ%nj0 {b nJM Tw7z9(a]a}qK=MS-~Gu]gD?=욠%]D(%i7@C/ |MMAc*-@t5hς1,8SVq+ 9,vT d枑I8U]gCftX̐Pl|MT< ' UpDown_SchemeZl&5e|َf})y]YPx CzS~,B慄āJf#)tjG -L9_z# #'Pti(brI qn]܂0 2=•Acx1f}%@#R7YM/JYϳ}T:۝]nxGkuE%-n|O {G0䬎-MbH'X^i}6WPۚ8m8 K^zs_gm+TTTy/e/,.D39NPUce' X%hE׎Y X 4OrRwڞpYg![>' <THZD&#MeO+=|D $%g=OoU*=o1`=nPռs 9, kTu+LMT P ,'i5/O`{{m%N}T(`ڌ Z`|/@fY$4;,92+2<=.m)ZeY`Wm.p/E|oѣ|YGD\{4VHgrIvqD}VDi]VȧDmcr/ȼhR Ev3EGI cW)8.OiHXy!۟)kIIΟ;LkфM$ CvD˻H!XX6/6֧DIu$Db[,i:i \ܙUoAE Lʞn U[}Z:P$,ׅpʰt[Q֓@EdiTdj?`"ׁ \DoN) ~ڎW=HPu9 j3<[ XP=IioaB2i0plv?]XЛA-,<0M܁dBջ!ӯ߶ 6Gy8"BK_$-Pߖp 1f`˛SQdgEK{\4Xwp|8dUFKݔsb70) u3siBmqdͳyE-#1ua r !KRx4)=>HU|5,%<,K;sG"eh5uja3/ E IUTm`s{Hi5KkK׿zscM^!$]lMŰ`u*^#0^(ݱT%RO:ڰQįX4׃ W1qo{{=0CXu8iIQ%kZ|3!&XlKvUZB* HIc`^Aaن/I%e~{e l[>nW9a'jO+7|!3Nn&N$bG͒Q?{~/s# it״k'qiJr6l;J>{3g'PLyO H S@NPfK/ل@ jQL'BJ8ғ?&Ex7?sELAP(tmOBH1SiTIxMi(ݷ6~ 9yq ~ fem; o]hJIZnmkܰ7Z%XE8CXXVsk #T_yսUk\ǹyܒYp`ʔpg”SCkm =6В9+7\kT3 (ޮ9Gk~4#. -;}-FZ3N[`Τe7ff'\'IRVc d=LR5P)N5.G2kf􀍠R'5MwfЀi顶g+C5%l"PF ʘNS0$Xl]|  U_-&J3F޸S(C\HۍizT`w%Z0J Y&Er/niyWEG ˇ\w9BbԥlM/-2#)<LT1(b[shH@;j㷞xNHNhl|Fb7}8Gl)KKQV71t݉56ބmjzFrs1_~˫YFQHT,ڨooSmd- ~6'*[#m_γĬN%` 5KGTGhrd<1@]gY9VXk/CеVe(4J2[+"1TW W+|9\,Hlo3J@êFv#ZنSD=ArqyWWGB'4Έ[ԥ92|m%;|Ρlna&b< ,<#Z@_*r0eRԛj!{C4_ʿŮBlG˺}PzWYJ4X 6wd2/en/%X"^63:j6׃jSGFMe+J nQ0nISwpgoBJ aۏQ^Vh' AJ x߱}YzΑd;R5`+lggYeѯvj+chxՁ'8VicHNަӬ S`9w7v RYryvE }o݊}5'3Y"`^@}%:۰ '"F1vs'J|BPEau!(UOC*^qa>$xk7ͽ/ E M3HF[87N/W%nǺ'6!( ٻa*I *<ϒXONQQFj=ppԏJ(#}cudR{ڭ=RM"̏ ֧r= !O H FLB|^ /T,Eѩo@=iAU<q;p]iБWh2rLF&Fy %#}>flV"h̬ #ҩЏɮe_ ={TxGa0 LJûFsܓ2űKwv7(^O*nj3>0g|-1-S'zj%ZdO]{/S.}M+@S_ow:R,h%oӛKB[GX9&vbW;7Q ~rbiމ6ȟ51xѓMfȦ)0q#,cr~tʖ!t{iP>Q;5VG<> ,A5ʑ{1[xl]uOL&eb$@"` 2"N*$_s}pC r^NN\"A!T^\?95x"a(hQYs fD؝b{5&i=ؽeBIzJT1r!Jz9/wRx:H5Mj;-[>3)or8AX xT5r6^XclNOg9/,n & `1!? 4\}adGC6'W]ԃdgZt-rײn,}ujnJ̳!YXu 0]x8ZG}ḰM uM<ґ!h>vq-.L*:Y!-SqX(q˘ȯ z_6։5*CK`\\2]N99Iޗ9F7?cK{eiXBk*jUJ{Ɛ+6>\*+O]s<ۂzu0rtgEwRe]{f[z oˀ:%E9qPx< ` G421Wmv 꾸6pt`N1Bb№k5c\'Ԭ~xPؼ擔SMXEύǃql/3~rߑޯ_ nrJL7w;OJE`EM]F%ӷƱ}p[ti5MtӉsBf:Uq]RX]d'{=EtگxmK&Pߋ~=oF4P,4*p_򿺙 QYޛ3O̪D~4IkR:r2vU^)B=OGq1[Qm:R۾56& :fۭ!*1EiVTz,hl=/:eNigbsW')9“?3s{ CtDCVK$Sݟњn30_rM\5`Efy 9.rZ%$Jedjm2V~j#k( %q }YO6]KPĢ7&aʖx@bj+Fh;F",DYrI!Q%RՒ;aAEg5-N꠩0O۾:H:V1烀G*cYYX&y(\sC{h\?vʠ7ZMޏ1tޥ1/5EK}3IC\X16A %j<}q,*Qo 1s, ]VJ }]wa_LpQhu֙HT;oua8\= 4M /];`,cb$hwD\ 5JhM`K/ZqJcʊy&-`B#Omcl6 u1{g5eѲ'@+#-K&"La8$y|5Z< Yhl&c$n[c!xWV-7ExZfbcZvް+qٻf_ao7~8j Hֈ<|޿\(jmz@=O|*v'cF{r]-@n=+%~O̤MYZ0ʺԋMKFdd$1vf煛S1<y%6A4`WZм CvM[/XWD".]hr%F@(G׋ -Ofn&GѠQq`a%7 &\n_`Yiڥ}(e& NݛV╁423H4~U?̵epếp6m5c \MСF(W}'.v.>[bFڅ <`AI]f$p_Aiz^ZgdX\V|Y)@*SQ\wÉD}؟o Å8Fu@'Hhgjb&B`k6 / 0}^4mfR[ηiKӃj>PD[MM /r@-8i̸/Փms4 Q!*|kֶ$"Aǵljn#F2~1fgǫ$ vA+ct4vj+IuJ<('KaR Uu۲v"o!gMLЪZਈׁg#Go0y5 O&{6P*鴆lʧ8߯igFmXw6IsOǥ6f|Wb6v:8{2:}Pސ񑷌>K;8,@6H5(#]mY[N@ $`_!pc$fB%kz[S;2HN 83am)ݎ_*P{\-.f>k6 W=800w\\t!<`!X .vu.ҽM@ʑ JdźF(BiϏlV0Q<߿ ޻kPLIOKǓVC`FSig% /Fo_|%y^S.E xj" Hp(L Y.U4 hUx֒,$aO9q_\φܒ\(CMqUReٺs]FMr+yDՊlY)n|-f_{)aҬ|::eIf}\qC+'W:-=Nt1au +v:K2bκ7ubɱc7pePn Q8TåN3+r2Kg`T>UGLk[F7oB&Nѿ>n Í€I0rkBʲֺ c+RbX3ηu:IY<]~""udJ:ZܡkRbJI݅~Gߢ˗c9>U! ެV!e*C.~pe@>s 9nI?ԉL"/, Sz<߄Xv~?_ʬ"2{-/=ȇЈ.!0>mjǸ )?;.AhdH4/vM!Sp8:h\~$'Rki'{g.)bS2 }𩲷']鵦Փã).JX~XOݢgIеڍ/' &k_x^ѿڵdk 4-֯xn ʫ\vY|}>ڗurhHpS7g* 2ՙJ8qpzX GTdud;6RG"f49Ȓ4񥃳.o)o: GQs`Ut3Ϙ4vS_9r)7I t7W| vq⧎jy)Qɴ. ZIfJGhâAkr`IUBHl"MXԝnOP̀i f5-AT7"e)DTLHLx'@ؑGޝYXԕ#V3? [.$}J#bրnc?26"npn" 3҄V 28y}d)k X~^uA!q̩%OyVɼb8}MtԮp ٙjU %z\~m!uo݉1L){Ūlܰݝu /% m\?uNrv;Цk"Da "=Βa*h/\d;ͪ{ā+0j6 /7r"TwY%eK 6QǙsS~HBwmt3繦 9tpg%Y }=dVchY߸ۜ];Pl1j9UFù3mm%a;FAz:?~3g5A$KMY%fl e|tcVn}vEyXj3 [*o4a֍1[@reABG^#l[V{; ȶ//5a:-¢Y8k\B=7B>|aEׇ-ƍ/1CH,)mj%H|ڲE` .A@tp.G(gS8t6Y FÅ ~A1_l#.@Tt?"pUZɍRQòb $X+`j$$w 0~D: