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 PP-) $4 w Binomial-Heaps:threads=2elapsed=19.181cpu=34.304gc=2.956factor=1.797zXZִF! ]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dLĽE*LW=Urɹ3ܿ}47IbS8rmZTJ[KY؇Nar#RtgEeՈXa7=P+^!OT~^ B?)iq ˃(^6ԙ{d;:Wr7_rgYZ7zXZִF! `]ŗXi%6Hkv0T $8Szs$IV|jKZ}zûfGj 2K5RpS`aiAd]e =`Bz`U3{j%0"^} .O?%һEry5Mwj<+ln#-+Q |TˣmTe%^koΩtBQ0'J YPZN&Lw_KƮK|2[Y'@AsO7!RR#%u?=r!m7L G>WI +d=*9#<],c}i֑<_& nyK+bK^}u osM`5"zB||  ,D끒;M#EZ74N4W,hK|y]BPV@'[8J hS,09#$z8 4ű;%! "&-ޥ4m _ٓXcQig\6Y.h%jVt4 BA%85,4{Hvj+:~F)Ei͆=0"Cfhdƙ8j9P: u5~GÔUA7@*$ms+H)COr+>_o:#P2ipDe L"@&" gNDɳeXӠ -04N[f(Rjb{tL]f̢ / Bdfx䭬s0-ی2S_3Z M-^S Bì I%H%!dFeӴ*}HdN@ P-ϗ(( Zo6d56*'wk*T!\;LdLJ1HI"9FJ%@G<]Ҹ8TK7jeXTt!nb3mo2_lC~ ܐeUsZJ /d+N@}VbGuCjÌR稻!Ąe{:gC-.<ܒ޴+_P>M䩴1K/I ӭ \C8bBwn^;Ay%&/+rxOTHjD}D<+y8ETi45`x!T#]R]ߊfq^L 5DOLk*9SU.j?K61Cf5rAw\rom2.E*c6};=fQgQSqR FUP|c^ mO@",6O74mi ^ =*O+pԭ1MÞU9 ِis Ҍ]gYZ040280a786ff45515bea2ef9ad64e761d2d31820 1e9dd46ec93862c07bc18d1357af9f2186650fda 8237bc5dfb02f79ea261a0d43f6f97a2b579ef75 86b12e3ccdb30276260b785166ad95ca61adc709 ce9e0d90f61fd3a1a6dbb623320e7c2ecad3783d e06a055435ec8022f1f9b84b24263a790204ad68f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 8ad8b00859fa175a80839fc506a09472d6fb1928 ) Binomial-Heaps