SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info MM M L c/ Password_Authentication_Protocol:threads=2elapsed=96.826cpu=169.756gc=4.928factor=1.757zXZִF! ) ]ŗXf1-q恈͐7 #M Password_Authentication_ProtocolV ༂Mb0v9?cGWBw{$Ϗhl 96L =Rf>fmlìd!;<˽h ȺVq|іҚ(+ge0D3-j NxP2\Pw ҬC\ͬVX܈yizݨqQ)RC$-VIJ9˫@opw)ɯ 1|7XӒ3kQĚnRs],1CS5\ &49kHmIfc=r1Vإ$G&a1ZX!\C10Na :;L)p5RNaytE2l}?6& ?İѶA5?]8ouǀt]’\ /1{>9*cYnH8Nup^r9Cީ->m:=sCb-݄)`h(SP77KuKZp8+S; Z笌A{Kea'!'_g^I3&ze ։rlӔn%ˆ{O.7Z*M~2jDmk7ic^v_UG 6!( j*g =Ms~SB]0٦9G/egl nΞ;#,꼒*`>:vYDYJ&FDJ~h̍VcY &i/y`q~ZCWy?L&v%4f1к ,I uUZ)١2rY+&ci`ik. $ v65 bK2bT((@,3<7QW6пRM8 Wq>Fe1k0˘;ΗZoĎ3H Vc?ӭ$bP^pH;Iu_o6I 82SU{_!WgLW`ml8.mI|!~}Sl$V})Al?@Ws[G([iIbO$kg5/7$I|1[ڒD(kl36g.ش; 6-,;ǭ\/(r.O«bD n7;,.FI4& aBh1Cjd@k|0_hw4 Rg?$_gd\ùb9n⵿V$-@g,SoU)!jJG f됸Fӯrb_IUL<>Bd+El6xt+7&KLw_2mV8,3$Ӆf?S+>{we0o.kJ[1g#3?ptL j83g` 9fTY87-{9 TBNLh#*CguN&HW' و)p_`[JeNf[-KepsD%x;-%M^ KT/7glkBu2د DIl $zO|p3ޅSz]tb׃bk+y(8ZI0Ah-"MY4E$foehU5v_Ew)I볊Gw:+o`<^yx6y2FSw\%5l̇q˰ (=l&% 𿝊+Fd޸j 8:RZ gVq&߯tuGHfDfr>;XD"Kn,t@LPUqS̆8k-O aξlSI}jr ])rυR^%,O PYJѽrQMA=S84eg=nOmNO 4F؏k3*r;j2Xy#S6FI"U*x+ZfcCƃ Z\f LǮҨ+%jt80é<X;bv`hyDN ?3>+@d@őjw2Ѭs_S tH֣\W|O[jE+v #e,xhR44wyc:݊կa}1N욖=[M<:``;k]u? 4#9,z ˀo,˛(ֆ=v@DXP~VzQp'aAp]®lbZz.ÌnIq$\G{-BUCZGi6U=[l,6eiX(" 3H6*s3G 8 ZU4060-}@L&0OS553z> SVuOn:mNaD3n IGtor_}Ϥs) T]:|#ݗ 12w(^kJ`HhZQ0áic-Bz+i|~ kא"NŝCt5`OD-%P#:wڝwS-^pUݥ}A 9  NLK[ٲjROnF U`}p!@@ lWZYρ]88 %Zk"Ο;}Ye%?vwGS[D[߶(9,1bGu?~u?izWQ6خW.&.&{+5?aH 46fދR}kS?8BֹI ;ԱqE11 w ~\.փ ߉H!Keh$ahqc, ϖ-00P|g_Oh2<#LtM+'}"!m%[8/l>*1DT@O,YFM.6OU.yw7֜Mo~머mZ.!J<>53=mYMuC1PGF&wofȶ^lirBX&+d$a.>j_eptnw;VheO)_}X~^G x^iB(]Zcs Y˄<=)KKauNz&P>#T)^6a\Vxrlp%Խheu)C,of~&Vo+Q$bFC .AܥV ·+됤))R``WJ=7nYbeb@+\fmzªH@EKua9(8v.= fǙugrW}@1j6q!QA+qN/`]^LLt8,_f/\^n9kxox:!a9HjmLA49^Mʄ o@ܘR7+hKZ2&Oh{=Fy@#]ݐOIi@f7\Ya]p` a+ZNq[? 1JRm ?#p^"Q;=@P,/$Zډj6 BG ro>Zp)F37| a2M=*p6Y62hWx $$~a_Ona֣Z*_Mi j\lT:%`?a 2dPy]IlΆiHmљQsd#U9w5j1:.އvUZ]c._!TV*N--AK &ӌkLJu=6}kLQ9x> QoI dE]kǏm ypLb˝c~@S p&// MmEDVBlNm39? p6Gig_ ʼn'`ڥ҇Oʚ6j0Q( EQU#?6Ё&e%5.O<,3ùR%@?NUF{1ώʨ6Wh=EYYYѪb {l[e~1kVة{g~hpOJn^ #f>\AB$찄kY|jԋ)s7~ X>( 8ǐͨq5'7pxjZnk0LCl9l2vMFbt;~$nI.U i!=+_H^F_ r+3H5~D<]$m([ǩٿ5Ƕ)|h?,d텹tSy-7l 9_Qk+ŝS2'_G P:RMr퀍H5*Vuu5P"BM9PYAhΗA0MWd -agk>y[*4U'>k Q}7 #BEx]@ ~YWӭ#8U봣|UVFK ^,KeޮGbY}Iņf ,kj1ku=3Ϲ]ʅ^'4U6ֳ8/^ ] ~R[U6"vâvI/>~<랓>W(F9 7>TdPz+H6E$t0R{DQ ^7eiAryBEmJcBTyG Opܳ4?uF w/UND0|svGǧgrzXSӲE!ߴG$HcvTMһ/M̈{e%N7E4íJXޔ_FmSg^ y J nxG$md/Ypdrs=%DLʷҒM!> ّZecP T%='舔At5Y!vf.9*G&#l:-ɶCkʢ G4Υ]\^YSt5{[,g(*NFqEX<&9wlϐo~+ϧiǯg3HzhX=DpSXc};JDq@(٨c cC|T`}Rr?GUW>hmr IO8C"p:qH?<^زgEpCΈBgVAb>3)TuQVGV}g=)J6XvJ6sj7NC`VC˿-$"Co%hY'jynfK&mw D!{pfPM$6Caڷ+|>X3˅0ĮJwRj8lԏ2eO s5r|l|k^)Sʪ (H.[p]WuPgX{E}œ(O<3i4cv}=q`ȢX˂- 4(f&Hƈ?P*΀m&%ԬgYZ5117119a178eac69d137fb85243808da2d667eaf 52c30e72644c298ba06cb7e5d4f15b0cccef2659 5bdb540d5d2df48575e3f652e12ed3f3c44ff99a 704b0034fbb76ea2aa046a14ec036087b69e848c 8983b274ca224430b729c36804a982dba8c23ce7 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 e98d989b0d56b347c6ee1a9d61645ae944ef72e3 ea6b7b38328d1aaafa37095fbb1796770c2835aa f4b31db9cb69147184e4ce16d616ef9040dfd654 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90 fac45b2e7c5608bea50d81361142a8f261f776dd878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457