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 % ,, } XML:threads=2elapsed=19.091cpu=29.052gc=1.956factor=1.527zXZִF! ]ŗXf1-/6vRZ*Dc,T q}jX,q~yĎHA'? jXu=iXtu/ɦWv{OtFb2CO8.&ת[<#Ջ!1!lm`H3 nXWѶ޴ZvtɅ=#Lz-#h-aQK&5@=8ij ^^=Gרl<"RS͏"PA) i bwpvw|"ۦ,J$m4,f$T]ݣ\7W,Iո*u/'?۽ eKmJNfaȲۢb;꧟rQv&+7Xuz>:l)C T .aAZ2ū*<*M^-07z|gYZ7zXZִF! `<N]ŗXi%}(qqUoiM<~3pmhI$Bl|\'JmOa)ߐYC}cD_-?[nx˶LdDIn rwޗo]і{ \2$ cyfi_NX5B&PuTvɤOC.U^*q~kNMX}]" VbQ+j"lg#%KP(M/iw6IΡ(o H{*toyů#'m6v#fc+ 쌘 _pB*XxM״(Ex\?La\"o%hYGp?\E }+Qs }!{UƭuU굺2A1gWx8#]6`"8lE%:hvL \tFq5jGsKÌkXR5fלMnPx 9tfF^+n,l$͗2VQMEG/lD괼Hr X6+k6f:v##gIJ\۪!NU!:o2xM\C7HJVK`9%& ST%m{!b" |'W*pvDe9w,pm׏CDfmmxmA a#7' 4F&3LdF2\06LrX2.Y]2dFx[.55ܤK78z=p>$|a݀GoɹI> }5XD-:[X+ajW<jTm@{ ӑM dX"Mfeq=Fp hSNh >#[ڵfpVZVcT5GC5?# @ I*kY9K uxPN:T++ ąAy'  w\eEHCO Fv믉 wu,ҡۜ$~GhDG AhJ8GO}5%vÅVBu ŖYgYZ07fe2884c3463aedca90506275e9f2e53c964a31 09866c17fce5b4a8b36ae582acde7f995bb80ff7 0b69d8c3f70856201e8c054bc34357b13520292f 1a1436f28f19da44f56dd3fdc6afa1e3786effa2 3122c5b55089566c74375976fd6040cc34c326db 37e048eca1afc2c069cebaffb562a02b039bb22c 429952f9b1ab48f5480776e72dd795c832ab4fd6 5f027145b953123734f36cd380855d6483226701 79f31440868c5686b204e83e4f26f92eb8d94f9b 8913304f37a2c00447277cd0d64d3ffa149379a5 93414022e52a809ad6d52d57f2418d9007b685b0 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 cbdd9fc6d6570e1d4cdb5f290d2b154598908d6c d1a1fe056914a78cdbca5deac82d86dfddf0c2e2 ee2d4760bb726f6409c2f82a46a166ebb7485156 f2ec054802208841282d3caf8cb88ebe49e30b1b0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382  XML