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   p7$ ]/ ComponentDependencies:threads=2elapsed=72.767cpu=138.248gc=6.296factor=1.907zXZִF! ]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7~AbAY~JzVjyvюQI/s(~Jn:Q٘MۉM.e43 {|@tMXA,PpRʗLO)]Id5N\ b af%*zx9/xyi:s8]I#RG$x+yh%q^-%l}*t\LUt{MUUO; !eh hKB?Se3g0YՈ1GڒAalٍ=N;ROp>oE 4`PB˿jYpi\WRvWJOՀw)oHRd-Ӵ "e8?%hYi#l, =O.§D*&p8&Hmq#s8 B2gYZ7zXZִF! )]ŗXiɟf_ ȞK¢ `SF)qsL4]GP}?B^|ϡ7 qJ1%Cj;:yc X=m3e9(T܄0I_E>>V]P7=.J1Ff,x R""gYZ7zXZִF! ]t]ŗXi%W~Ċ*|ԯwRH ԷxkgJ&Vl85{or]d°bo t^cISV(q'n 7 ComponentDependenciesy'hɑFO[ HPlΈ"h/tJ%;=3;#ֺkr(`q38UGMdׇ hS(u=XoD{ߍS/[}W8iG S+gM~D*V?"o3Vsϧx7J>9)R p-ҫj-u$5PI c}kxr*+elұ "|})Bbmy(_&q06=*ƢtcW46H[O[dkzКOTxcxb4uaB}CC* BnZ"ᑂjj w|R YvbEl(>%)_ l8)5nWA2IUdF1֣衟r4_",X4yP;=?T}o_]oN)j2(8o#>˝ YhL0|% /=쮉󈁭+S++_d }㙹Dxkϖwm#(/ 1٥U ?NLS9>bʥl /Z=YgْČg(9i=} tnwiVcIϫY_Xd2l=23z:hyaqG aث" ${tA4D٥6hXIj9t[wfc}uY=K'%-TNS1Å| =ks}"DcEj N?9lM?iݶazN?6`YKK|0]κCN!A$=Sk Aj-<7xLNvmЀlO˕ HX[xY&9}bp!, ίQ˚@XG!e(N=ݱ [ @ \![Ajnͱk%&ͨs7xa&>`ĶQ>qXgng,Q0pbΏ_ W`ϵdkUDM/xe4"лWζ K=ehJ}՛d?s_Yc,B+DC~ |n.:^k\ HIȵWI&ea {3+lV,# 97~ǔ["Tڹ!ee5KA5vr6BZ(o&/~+ӧ89/St 2KU&4w äsKk ` I=Px9Q?}6 ?$=T}h-5E F.-?Er<.مlb<~Չ |T ^Q{(f!c*l] a:RӾ ipчOw!.ӝG㉽(’W>rGHh;n7xR&E;JXOV؝ewB~Y9RS]ZW)V?R[וWX쁢W_hqh7(6;Ks6~aL~qNZP$.v951qNiBSVHGܯ6)ئ:j!ܽV&<`niaָ]DWӪpBF){RTH6Q6q["t}i7'(8 Y6Ͱ!oX!mG~)*ޢ8Ȟ­UKyѳ?Ά3߆]gQힹC|Ag2MݮWvX*ؗ 1CPP]f/R@S?s*W0(."B<{d/eLzPi6GTeI Ep/GuX h=6 A0IF7L~U} x'͘J5v21Q0$~@B5g>q}dWmvvd9%6m6B^Aq#g>~+ Bv>+!%0@Ʀ9.Ld+$̐ ڧ w4ظr}؜~Br#0UDN\T#dqq]q2mkpM-drtKgvTO.?0OR|堓~nqeB$TK+ϱɭF7e&2u`J@5~ o1*lm=NK Pק4F$QGqPTqy;_#=axb@?&(sHˈYQB`Ek=r-clN`Zӈ#Le/woz^ͩ*Tnzn0'D{~ȗ7 Ͷ`ɺ+NjSF< m|mknp!>b@!>ٳ HQW;S@϶".C%̭=iԊ'0mOcdY(j*OrvXI,OINՊ20/fTD t6`j:WsHϑ`6 (+hŒv3$>s Y~vww j&QXЮƑH-|i''. 3j'󴩝 CW& u*{q[\ mH{Zk0K[&/vnP}Jݎ8݉{t/1sK7bGi7@܎0Z0k`h ȸܱF!T^ F<ˮxbvi7c.rfy3 &R7L)]ðzb {{^7pɋ>X>8! ucy4 J|#ǘ1E)%;RM{'OK2+_plh*gYZd164cfd8709e29016a4d9a8ea7474c19002d136dd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e