SQLite format 3 @ -
l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
Qt
KBPs:threads=2elapsed=168.301cpu=258.112gc=11.304factor=1.537zXZ ִF ! '] ŗXf1-/6vRZO!0؝L&{A> JJ"#SiəmLJPy]~09/od,@yDz\¢e({pͿyϫzJr˃O%`
KBPs CJ1cQOnIJ5۠ݴ?LrX3X٢O02BKKq(y\OV 9hُGHb|i|sNtOaY"V8U]g >>gSAɜ6zQ6h%ҋotk7Y]凊|+`>[~Z~bZM$.p77`lm=-Ti{qJ5GZZx&w\aKflQrEzd2ͣ\qQ
$ZƤcAnh¡'*ᡂ'MU=njc˚QPL(|rA*טpo`f@bJIwͱ.afk
HINvw5oi'㓢nnPAKW'SP&UZw3pTh'K
1_zaj;/:a`T(ُ(<;XXV9=XFBPaJu]Y7ޛ]%@S˙Mܺm݁rQK{İaoJ{A=IcAiihVm-,[JKbۉB#1Cö#uBy,=GBz˼bBCJt'|[3Hj:ނis!9Add1+n*1/Km~~|{OhRtܿRuUb3b<}R\LLͺZ{YD1oJ:
<s21vZ7z4{>;ױ{zkX ~傫Bvv>dA1/'Y#_#y+Fvɩ*$6Cm</Ѽ?+*-ޗ3A&c_9SHBiAOԱu #PG${J("A v4Ȱlg<j,H\Ùj(> K>W.oucϘXHjIO~:4Fo $&~;С ކbDJaNh1q c5!4Jz*%|7
mU;P.ēϬ}eH^Jz"[~>En A.y]Ԉ >ܔB[AU6CCaKF)bGڴ|5 7<X]"t#vW*X1nʐO M ;[+; xKm[vԟyrt:D*[G5N ?(Q(Ø2A:2> \Abh;%KI5Tb/N6Ϥ
WGyul]cLjeծ-٠IG0m_ż0LY,Pa
_Q)"/"Jc£yav=W#F5qIķCҒW0+k/8
}u8lFMf3WeTSHUw
?:,~hd$鎷Fnp5fR[ؐ>y+D{f<3>
`R?
qmj
Y<zΐE Sooɳ,Nq7"
Q}N$?p6G8*cc"އ&LuHucb
2m#9υytED{%]>_X8
{PZF$JcmP@r=g!"X@kn{b4fL]\7E9\_$}YO 1bq1T9Ja"o.O0$RM6w5syǓ*Um욇{}F;|SɫWʭ
)7='~UUpr4WZȥ^
zOPEX^Yi 6$EiqCleRPcy30|;#Ԩj_*NhX/9p2&BPV"/_m}:">Ϯo:=R$;䶗60KoB8ry"Hi m%&[
/n24Wn+E=杓2pw]h [I{jPBC}/wڄ`2MD#3!BTa }
Q\nϡ]'aze&"y
h]E.=x
ݜ`eW{/_JB Ԡdgp\T#<9`;EҴs"urʑY^.rʾ/'̎Dx:e%5323LxMnnР~'8
ɬ*h@9)=DQLGcR/v[UQ1qby=LW $['5˥Mo1NI,ٰi(Y}xGZG^CՑ
iR\q(SE\ьUDvKsxN/LrnSzW)]K!F2e=q|9ղuSߑFi睜Ӆ넨;#%U]6$7EUo?`>a٫/t𭺔UӐlVfIZfg&{{]M'Qu(|l|M^Y@O4dEbv[e>&Fş_o0̥w Ⱦ}pVRfHj=|#y:o"3rC11́3S+ 1(Ôq 깆)OadG)Wg9Wd#
\>JvtɍI=[sgIHY#u/ٙ}jb.ڷ>}D5et0TN@|Yg4BAKSil~o7- G;dǠ.Tlzۏ'YrGK2ƐzJ";xH ɈgDI`+Un'tRˋ^[%ێ$+!A%h=CUhηrկe[
ѵڜy0E.KQ)B]*J}Ξt=(/Q4Z*M+Gp%d c3ܡS`!Dl!<"f``8_4K9َ+fjDIi;Yn +Eߪ3x
ϖ;QZb)\0 G[eܧ^a1F%GȽ*`Ϧy,Tv{Q̄