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 ((U $ } XML:threads=2elapsed=19.053cpu=28.964gc=2.072factor=1.527zXZִF! G]ŗXf1-/6vRZ*Dc,T q}jX,q~yĎHA'? jXu< .cd8ڛӀȡD`1J@(ljRI*Fz/=Lq+<}RKߏW~V4 vEZ&V)$5mL$RE~1Yu|"Q/?W ?,NLYR&Pxvcg?mcbr;F륉L,?3 {)/Fîz̳Ǒ*XL #;:K;|@fxi71{C `%-5 L/)Gi:0F2+d)y86ITGu/v$3 ZXfdY%7\Uo[|(Y 5E|f+8ʠRF"V43 T-Xz9xA:/{p~/ %r3z%Mؑ+- K#0iU1AXHN,]n ΍eMǛC}p*3)151`d0:XCp\@X ?Jfڨu.sHOyI?J؊T ] ,G.LJⲠX7ߞsl"ɲ(`_CH6rz;/!gaJ\P%^z[$_]0|?ӑ!pv2zW%&hiPUGPy$HXʚ0깈R7.AFw(+ hsn :/ɂͨIHB< vvRܧ]vٸv"8ZȊV)z1+:r=˦MPFSp;ٶ8yāJ]L#YN'D˓+!uǁ\V9ΰZ L6/U ST#ppOiu"_"H/Zv&D봯8"qI i60ulYE(PܕM &ro>18<#'׮'}lcvb. t#X$\C\ML'ǡ&yw|DQPrR܅f U #쇑F~4]os\So﩯]uLgVOkӺA߅ʜI M/Vn͘_݃ksk$grȉB,*yt@*bMNdG%% A=o7 &w:PO$}P lgYZ7zXZִF! ]J]ŗXi% WȗKUq A{/sϡ(M0Н4P}\`7j%"Í04 v?T"g*r^Ly|H)_ąq6`0k RnmLOW 71:DH+}FF[3n eթrjtR17_OL0gv &;ͳzA!Džp6322,OqgN2%M[AM@i\4FJa(٨Z΄Vaf[5NpZv (^Su ڀmke0~ -PiL[as0Q)v1@ a ~ #Uj{ftD6A 2%ca!zLϫOھ5N5%K LS vs?+GHZ5LU~ʅܪ@UWrp(R='&dxKNڼ]Lfʗ0lwpBNȣ`?, Hj'l5U(8( (1 0!'N(+ι /?f~ONx Mßwh(8f1xKr4,>%QB/tp vlD+<ۥ3avViap1 wc̓n3Cn+9:gG4BDzy٩,7#YTJD+y﷢T gYZ07fe2884c3463aedca90506275e9f2e53c964a31 0b69d8c3f70856201e8c054bc34357b13520292f 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 429952f9b1ab48f5480776e72dd795c832ab4fd6 5f027145b953123734f36cd380855d6483226701 79f31440868c5686b204e83e4f26f92eb8d94f9b 8913304f37a2c00447277cd0d64d3ffa149379a5 8c8981bb1cf7c1634b150ca80e9639d08d74fc4b 93414022e52a809ad6d52d57f2418d9007b685b0 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c d1a1fe056914a78cdbca5deac82d86dfddf0c2e2 ee2d4760bb726f6409c2f82a46a166ebb7485156 f2ec054802208841282d3caf8cb88ebe49e30b1b9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef  XML