SQLite format 3@ . BBh77otableisabelle_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 cc5D< ]% Collections_Examples:threads=2elapsed=91.810cpu=176.212gc=7.320factor=1.927zXZִF! V]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXbyɭf%8q~q(z x[^>ҧM;yᐮy  s{[Eֳ#I*]deDɆ[mI{=}iSBoif;*t%bWy7DsDo3n)L]#TEu?5އ{hdGk#4g  Ͼ61*FW_jI[j;@HOtl1Ufn `R]#~|֊&I[D-IHugk8գ :LW*n}i_X:”f,\ LPT`*]~: TBÂV3gQuO|xViL?%#X3^aؔ yɍHbƖ(IIIM=rn%;{USTmTXF]%E1kOÝ}'loTmH,1f+kU 8}RE\*S델 hX;bJ>o]o'*14Fj ޺Iq=^M!t0@UJLJX * ~SA}*:fLe\Ds 7+׻;v8/Kq@|}eU޻|YG9r\< |2| N v@)vv%|[oH^Mu'ǾPYCXSW9a`m:ZN6Va$*?Ts :yIkGehmeݸCz=6LZBDK+s%Om :S 9+w・fK*:'fLHƱ%0£X Ƿ!LR`;!x#,E4JrԷ]Q\R6ǵQtC zq27۞UN0DI ٮǠU\ƣ˾ߩ_`Up XHIQgЙ 0í.{v[gӸ'/o,|Ġ"P ya8ÒUSsvWW)Ď~O0ə>y:=H8Z=m䘄t$+„e"r)C ,W]*B.r'i#bW7yn;a'@8_c & '܀6 S[X8 s]`:.Qݽ{׻<XH-Z ]GíJj'ys% *h3Ŋ &/Fd%(>Uk4Kݦ[ Ub-?}8|ZO汻UB  \բ"[Yȃ+9@w@k;55]20*tY)~[IE ʇKÊSӕuN&|6+dPW.Jf,tNmbñ$Fc9vp",SI$#."q" l\(S mAG[/>?Ys'~RiГ]kk4eI'RΠ%gkez+:;ߟ慻[Z#NA|wR0Z/4th&f3!jW4ZxzaFf$fJfJ*{{ rybFvDPBHy06Hi#A/QWIb?}+RSadTU~:й/BKmM)ӥeCy]]{5¬b.inANC e|PKRuOBRXx=FW܌`emǬݲB.A*lM-H_K5ɾpoVnsL㾀A3Iwiɜ+ݤ@㊊gma>tmyً@G\nN'Dq/?*r\sVglKx_tJrl̮ Z{[ [va a)Hxl2PX\%f=ϩo M\9 o@o(ϭ7>X) 6eoe8DH xooN_#g@> 5 Collections_Examples+[ڊxY0 JGU)Qoe9&x)P|E~}_lRy=`lԩ.?rgT3;kAy D kZ:ƕ$c(>:I -87ٵd8Dvڮ*k4Cso_e,?k~+,6{|GLv-22"TdIZ;zH E촱ʌ0zoZQwOJ 3&?7ͺҺU 붣'?%3p_ 7f"^1)vo`Ey'h]ȰI͚(SHlɷuLRԳH-95RA-c|+ñ$~2`5. 5Z5(#HQQ5m |E=fn6NW*!LP1%b#q9OHUi?! ànljg21n7|J0;Ŭ6zZ*Ҕ9ogAEmJ- Ҳc1ZϧPD.%)ؼrl;b]H] $- u1Ȱq}=~o fl稼+siN歑'WZVRޭC,(n]`8 pqv.lwLbb5ӰFa/Fv.%ީ8?]2<~?[=o65{9N;8mb72l/1U4C߷a鳍إ\_&|,4!B=KG3Ԫ?fvsuu7/yt(NK[d{2l!( F&2e.,^L۪J4HSEnջӛ͔AUIINw"l٬#l{!Z= k{sPcP!sbu腭QvH% $i WS+JX4ƖerG>vDRZ~1bkGyfg3tY@;;hzJyGi#m8O]F734$Rsn7H~E2'-Oe,?E?^"dl`Ԣ.Q' =|R"&[ƚD`w{lĶl ×oF/Z Oa_>tX!/lmṵ)ivDP@hf;E2yχz|W۠38 .ҽ裥R.c ÏwS AOR+9Υ UGQٚ*W n`,ؼg ubNda,b= R", 3gDפhx"zF sq7z0oǪ*~3VAʈv*Ƈf]X 7! ~ &lUVJ1JQUD7_4uKGE3CҊ۰E}蜻ٹMn;f(f .ā hnh,5`MoR5}쵘'@14-P80p08i6|uCG>F"%ۮ&%[wM*ߊpDC~V2'ўS-|3(UÎ+ջDLdZ.em',P |*qo";oswmM^VyTj5t{/ӹ2qTT~ޙ2޷R*n2AnMN̺ja6@e5/R>V{a\AƷw'R0 S#74ĕL#fQQi4TVCЖ7$B?U嶫?^z5 D7ڛH?>*<&g3dCbRV6pF2'!9>:%XbTFT-P  2Cf&T*OYv6HEPšG޳N P>{g0qdVFN nj>%77 1x ڨL!cSy'#g3VL'2p[6}m+"~mBC*g|ГuP M2ń3Hѩ#2H$@| [vx< nQ,"iah!P b|q3eo&*S g?nNJd ::vo).j:xTD4RޟNOk֊F^ffUڟhmb*E>a1ǥ)А1ϑ9־ jY` ZVV%gIVc~jv Ǩ)ؽ poz(̎O]fcpt_Ѽ6D9zuK͔iH4/|-c Kz?}(P !ՁFGWq#+Hm:c"=C`Za|"1% I }޽%%GgYZ50c1054d7bea4647c5ecbcbbad07e5cbad2bb2c6d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 0a9ffb02608f6141bb793ad10bb944ac191d27f9 4aed21536b48b4e99890b1f34a195d021ecdf9dd cb0ea7e123c24748759dd965ffba84e7b364e8d4