SQLite format 3@ . YYQ77Atableisabelle_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, "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 S! $$ ] Splay_Tree:threads=2elapsed=79.541cpu=97.704gc=1.460factor=1.237zXZִF! ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%#6W6{_;ۿF`)S}~xBAn> GN?EEZu;P/9$ܴWUc\!9h9߈5]p$ l_:_gI0 aSTj+1l8 ̺ܳޙ)G'APZWHG TL>P.S9Llp6?PsGV%Buވ/sPEfQ?\|bW?^SS@DNXSFp?Y E–adU5xˇ/+'BǞU_|9 $  ! Splay_Tree@Z,2{;KG||Әs]3|EjWE ;FiλDUGV2: 75e!5]q}/ o4\Y v2bxٍ+UInF!x|~ϵDP[g2E;gYZ7zXZִF! } ]ŗXi%6qa?O=Q WlW\3acP|gwp7ఛÌ+|5@W.8trϒ8ZׯԷesؓ-'y GBהJMK*cM]\_Wє0Un BLU{q+ISl@Jܥ-I0T_9"V@zKߔէX|Id-\<@|2*殴d{ ,sm/Khoa E)$hw`j38+o B_V( $dLIX!P :tٳA,j̒Y58fRx~e9Yf'DځkC6s$ JJb&4 n2\t>X(ϋt,ABJ0r94Qbp#h>\1.ZW?Z EsZ0|zp,Iy"-/Nwz$V3{PvLz:O5+Wle𥉉 ~\CD1'J xOjCf[']CBr,e| ]č}4mDvɶnv' 2ٙ ,qS3NhĹjU5][)555J>J?D{VY`{+G,gx9=n EňԵrQ̖XUMssKܭсl+rMZ͎n!Z] Xϙ22`P؇{2Ȩj7+Rl/_`WZչhW*a;9Tqy"D7G6i2Uw=hDQ:&jCٸ/xlLGS NoO$ x?LO=)mз%-ŲDxׇ-P/{c9ͫWy]fFz0/*f[Yú l`54ES02#igPqƃGn02ݣϢ 濔 M#1hd}r5~OJ%L^vSdvyR)_3<6@8FsQwf\%& ;]EK]8=nNfMi74,s"@GҥE*6 'J0rw(ax8;Xex)0PXCB83/Ώ6v0 zZ XK`K3I 2 7V#S<E.0*Np@W􂩋cq Zw7ƎPZvzhv~HI$ktCؠc7e[Z`6|D9ҙHr & `ڕ*o}Q#xo@:Nİ" 7#^'+2%xx4i<\ :kdi = sqCt$'|SO(Alr2I{[QӔWiARzԲ#瑆AR5w.3@$<&{vd]H9lX(Bv$„d*;)+$%/HT~W "+[4oIѤuPL*rr4yi C#fpIvd C7gͧ\RYa=ua G\`@㄄ ';$Jr=^bއ: dI?S]D{@DїiME+-Ke¥j 0aCLz̺;B:aV|!mwW Ov#gm}l;%Ւ(=4@߭g"nqG5cok/1cM~8ɥAtA-ڞ(|MkT8}DxE#-ʢX޾ {+K '}ZECs`1_z&ܟ/(