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 K , ;/ ZF-UNITY:threads=2elapsed=18.835cpu=33.604gc=1.184factor=1.787zXZִF! | <]ŗXf1-W_X,=k=G^v?({9dC'=0{4濴:VH1 Mb@|X u<M.u_stO%"_Kv;qҟBs41m635}LP ,q]B4yklzv?_rJ.TzvZPOԼ)I79˹#FKbчlO0>ڒ 4J&o^Rɮ]dʈQ|TҀ٣{`?@ gg|OoEcE]   ZF-UNITY5/-|!)NW#w ՋB'r]63-YHz"@Yf@xWJ5һi"?zF"5QUS(az61l~L B+}75ZBpy@vFÝ44Ũ^Eruw7-"j1{uU#N.H͋ NQOKmկ?=YTzۄ [)=q!`IY <ᑾe8;Vt-`9Ҥ BaC>R3eJMw++s*ãFwt P(k[!3یXS]!,Wͪ~>= k+lx\?`z.Έ5` Db3EWO@M*uOorG.+ WOh!CR# }y.d/%:.ttân YtrnnpIg݈j[iqҞ3O;ͥ B\D%9_m)'G(^\,K2ѿKA[]>=DAf,b3"} G!<_B1nFxN(p#} ޟ$RdbkF\ܠy %q4+c#j=o6a/2K*V.f]cqa4ݧ_vsWeD`ktdMBpM}QL u3_i. +sǔVfŶp\OW&0c>`=I~MxUD/D~rCg0\;e8*IFUo!/EGݟWrMDƚX:8?Xw!r^C1?Pǎ)B>t6Ա_o&C=!xs]'i2$djZxݨ} Ytm:N6rhk$Qa̹!baŒt1hk.V L鮞`ʒ'Q5fQfY0 $6VdK)!Vfĸ!o=qY%RF*m@TNP6PD9%)u6vTgk5rLjdzp!phDma([b;QH 0H| hUѦ-$#cP%[R/$ΙUV/SF~JT5QmϭSOxk[J)n_FbbG#g3I\b4%4< W`O6x )*`Y1me1 ے!=/BSl?tywiy~83[a<hVu) -R/Jjn<Ih9T}۔_d!}܃ {}SqjF$&ݿLa ?A3/~jOs;D@e,HT 1HtOeGk'SE)1WU`| ql( }#^5PfMqVv:μdoFI#x^I7׫5&'\;wbB|:Y@Da)l96RWؓ9. 1FEVΤ4Ǩk` +9%4梾DetPr+2coh ?v*Ӱ~L|6pnQ@痸(ǽ+kk}5u?"Rf A6 @QA6$ #2d؍\ڲpBvOߠ͆x؆ ^D%K0ˡtI\Nb|Wg;jp?Gq:;#VTxsY%o<{mӒcG_QQ=pgגZ1zqqVKd*]U*D<=Ty赉my.溃/"j/THw򫁜ޛ U=IUs%ќIY{ir1qtDI{6jpEreP57W>Z0=_˹˃/WEYZsSД L:4f ?{Q! ljiK9]~mɍ Oe{3_l[yԴeV _4/v 8O9:mE^U{شL7 !Ľz¥(Cs+O?!6LޭtPqEv@٫8)4y/+8eCT-5:5 g#wnbAiiت obu٪]@e_ɏԫGZһRTzF9V\AJ wZ%^/Q8Zg6d[ $qbV< ,o됚WگZvyʹ Eر3%C~UxDl,EIboXJf@'**aLl~-DC/!O"3b问-4Μ~3Ϣ0ʎQHF|/hzK ;߉6&RF5,q4