SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 * , ]]]ZF:threads=6elapsed=12.058cpu=37.360gc=2.276factor=3.107zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_TvH*\87[B|{J}p*%_CT"p=;8ALsm4صyrAMxy'3 ؖF캴ã `*yrʤIݙNyB2`)27F5d #6@vT)kY(Zlh[ |rF+ ϖT&3ScYlS_FFƀCx2?ɥA]y3M}Vu@ͪԐ76L2(ouqZ!5>x(ktEeu|yO2AP.>2b.7azmIp 7 Y"W7ǒ fO'3 WE+;┱gYZ7zXZִF! F]ŗXiɟ 1FE`空׷N$:֦VeZͱ]@Maѽb3^Ju0H:ԧ llwD8=G[h.amZ>+q`E-=Os hy=.Ē _$!`X&<4OՐT6]¦wM X:(@a҈H˳ ( [S_+ɺY[$(zV^j cD/8c " 'XH:y=s}?^[Ñ {CTtd;Kט4F#! z$LLi!HXP݌=+0Qg `0X^¹CTb?3.қ9G NKw\{^`3+?VyK!y'ׄ^SE%[k6V;3bJP95o5s2n87RPڄLieCt/p̢* q߲sPnqAY> ʒ d+ 2!XqRp?gNa Ї*Dg6 h2>?wsk2gTxT&S k #k#_ep:ʷ4k\P}|OhJfD]=?p=_[f "V-eV#Is߆%J< 3$$׃ 5XP>VӢob6oGdj@]0 :y.zdIP7FV%=On[ikAvUfꅻ}``X+ޖdɏw(慻+` ycbbL$(ȗwh%+-C5uF!Qq16 n+2g~Kj95c% 6vtWΫ~NgZrDq*K䅟/ .Ɂ's.!XTT~yh@7-ꠉ[Kx߽5 ơuѶ