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 oo1$d ] Root_Balanced_Tree:threads=2elapsed=86.360cpu=158.596gc=9.584factor=1.847zXZִF! @iG]ŗXf1-q恈%kV^M[-dwPt#`Nf 8adY,)ۆCDu6IN`msHasJPg4CVfTwCk8L|1}vϥ𰻢-QMMA"W>|w|[M~q=22Х%AɄx7'Yd4xzmvИ 8ʖKUq'P(V,$P4۶s޶hj<*J5;y._Jԝ!|r MuV t_B-y>W˝6xXU ې!ƫ[> 'M`a)s{hz^2wICj:jzǏ fpiY1 `,D _p13Y8XNGr7VE w4]`+(dk]𛡞׫%R&eƸt&ӘU0VOww7uku]) =PxvU-sҿ4^_ ?hQwk{^xĽrI-a 42sl3W 1& GʨQ(cWEP,w1xS pBr0u`Уbϙ{HTԖEZ'3E&!1vY14SX{2̼Dt6MH0q߄rnBY[!kwn%1y*AfoeWsN`soxG޴9Z-]c$[6u~Q[W]=3CS2P'[H )ZF{Q`=pM()49޴ꑟt9#JG7Jns{M 8M`_Y.~TM(HPB,{TS_pn,eqKckkq|5}}wn&H*+)vb} BɸapBVb&U(:vݭqsT7g`>Jza?CnQG ]n:U)t~MT/Mw-P5}{P#6UtJ,%${ov :Q3! mۙױgYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻hmSAZ |hrD1+H=q^k/?:Igcp3B(>וL<>L@ {pڑA8c+h,:yY[27WM.~NW˛Z*_En \ ~ep"],xUg`[,MYӌEbtom_TjpHsHX]E9 ^k_XJX]! r\ڥ‡nܻ?}^H>Y- *r!Lˏ*`BB%kM4`;&6XV."]5.ZB&>oخvTW]OBWI6Rmn RıgYZ7zXZִF! ]ŗXi%92IHIFIm֙jb_o(E:F fISp־Rϱ/vbeJui:j$6E%Zrd>w: s ^j*[]yZoK sΔrT},iCFMkp= !JߒnAiʛ~X軪u7ٲ zm!3W㋂OSQP~ ˱uЛ8+b1cn5S=$cT%$sanAyeG=_f,@[6'.T+Ptm|:_o}8)LdRvT3 ,_n^,ՀDBDxqʴ=kd Zd-5jMu,#4ytҟ.:X'5AYT|QU9$Z r`o )"&2G{ 9i{ٶ Pkx|[) #sR GbKڏ@ja"/ճDEVςk/x7@ʉȿ?ʖw21E`ouzXa~εzjwh ɿC.œ.a;umn/!"owff*.+_sbY7g(+lpeT-=-3^0ٳA#{^~VeEqoHM5]wqT! 17orS-{`b_n-o@-HmeR7={b렞q$Z~u g墷:?{lү ڰ 1 Root_Balanced_Tree#h>!|虛ootGKS[3+oʜԳ'<3q ;`o~X@*'-4QQ+Ep96tB6 ^"dT3,D)ɂ<#մ&p3kM+ȯ3 W=⾛ۇ_O2Z2uV9{;f J bw*[-."±Z+z#XLU\r+]3QP.DIbt80c8 -e̯Uw hX3XQ; _ ]Eh ĐxHK;Enpn W3.Oq_4UsXQWQDݎkKc"G~r*"yuSb NsPߚ 4OЅ8ۂxɼVTٻd1Jd.8mGՄQY CAt&>:\JL\km#TC v1!(kBVD%{&$ꫮN0_;5Ѐ4n |! kQo}5EE" m# >@&!\4z+rf.) 4dt~(мML%u껭j"p6:ׁAcsTe5tcVsV:1KZ\| u=?eDM$)C v4PB8 kk4 524|p0Qj>R#vT d LnIW;dWn/i@}`SJ45H+Z9o-g$X#A=曋Weɴ6|eYLd7Ҙ | 4X*/vu'0[+/7i3Wxof9us3XYWna5i/T"8 P_ m̛m0pZwxz3ar M#ld|PBAVD䟚|a:2Mqu]Di[ːԇSXj lHQDs;꫌S|{6}J6B1*1zz^Z}r'̌TNk`y?q}E#O ÄBDN". H+fjV툒A<T\" Y4^yM&do)pr'>TWg(ING}:$^BtɹgM&`D4d eӽ Z!~dqd*BΥ+$N\3QoOD$~Rnᩴ_F r}d|]wv_r-yAKf]"=:☋8sÔZv7b<= hoWmTqߵ`b41-X|zy.;W`f"~$; 51 &~p.32Bc 1Z#|ac# U4aтnbQ}G\c7' eR:rPgH L"ߠ r)zTz/>0)LBg-_IP,, :ZM"m >^hqnLq*I.׌Ūe3U,m"*8k̏U!yk2s.`pٟ.n[RӞxA=IǂGcJ򀀦$Q0`I9 k2t#Zbj%Zx{(݌| :υQN pɖztIG1>0ƒ]f(p>~מ_v3 皫&DC@BӪM%4x׳It P@~h=>g OG1\Eέ<|Z`?W kqm=Sc!kdD+/E*ׂfx-wF< !qY^3y*Frn+*x]GlZGҰL7 LQ!FS5<,z۪t<'~By@ybjG뗍<Iaљv vlu6 4iG ɧ!&yBoc?ekswE_ΰQfדּ> УEd8t@<‰@-梅Gp .7U[Tˌh=kcMq)ML>%laZe5u|ANk{ Yk-[2Q6̜j?Щd?EܖcKdLU7Y[FC8WRUدհN"MǤf쪀O㶶#_x5UЗL/'g&7-JoԐUk"ЯϕΎBeΪsYc5t1,ZXvzby䋃ذk u{pqr`h