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 l!  % Splay_Tree:threads=2elapsed=22.915cpu=38.284gc=0.564factor=1.677zXZִF! -]ŗXf1-/6vR[]Ss* &@' Mv &:`bC;qJ)EᗃfpvD W40mh^vGv)R~n͵= `SKRk}0hIf1]рlJD2e #\T~7=(ӢhwpBDhOFG-\Mكe-@u(c;G7;I.1&~:v+|VŪ?Li7|bFKM_@;.9k%]3 v&ڲ0TU,!yh[dӑ_]­ZQ@$$v*dJ&O F.`~O:&<.ƛPcGz!j̩a)ΔfLVqŎǨuv=:|Y~"; b6g/܆lWuyp}`%0`ƼI8:+.$:PS[z}~R`cY(f$E0-HߖKs @L]$S)=ﶅM;6t,ǀ/D|;U{3ٱ $V8:nBqSeo39/H*,Éq| ݜ2L-MGސ. vnyt\hY'Ku|0b}eW[ɄuysM=oz(@WgYZ7zXZִF! s?]ŗXi% PZΊX#ƏYzdu}V[T6n1'q~<0]Yͮ4tVY%uc/^Rt ;!wF!ܓXʂCdzǢ:4(x[sy$oԟ6@oD#Ǒ4T)J>l 6o <5e-uS65|$&oݔ85DU_] %݊1B< G\9+uZ!WP(2"=/s@ /cq٧'HGe& Pz 'Kn7{w4L|c-|ɱJ9΂#=R:T`׎Olw@^?J՚(^Sdo=KzBcD}vo!+?Gbb\oKIΫfgpni^hA#V*_d%Ɠezrv \<,pd0 jAF7t0eCIQ %#.q5^erMҵ dJ#SfW]{LM_P(ꀝGV* >i wku(ߩ}lWxaLC[n] #dE_NH:V1]::"긁TS< Ԩ.{0I1zmJGR3a}? Tk`Rke -:oȎgR26$O:Y"]iܣA7D^~M41Bͳ,!Ln332‘uuêxK1![l )Hnҭؼ)j4a+`Jd3yCYa>xhCcprc'C$F27+a2@ճL>ki^P6@ lgYZ2fed56e63e64893cee783edbeb3c8594b2a04eaf 41d32e587e4da97ee0f959ac9fec845bedebdea3 4911514db9319e96806f229551af5299c1698e8c 7661af568cc046b290bf3d73e48e9f58adea5581 80eed581e9827dbf27df0eec911196b92f9e4a079711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef  ! Splay_Tree