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 v#  Sw Minimal_SSA:threads=2elapsed=9.147cpu=17.624gc=0.436factor=1.937zXZִF! -4]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^ǍrOR oe˒Q5tfGP5D8E~K":mZw `ie(ftFf at*r,r׷vYw&d`(Kar`aquq?oL NMP!dP.['iw&oc( Q8A7{81"˛$Eq{uɇd{4pOw&mp]]c,V?*RJU P6Y~2̜b=-*4hOH"dm~ŋbahp=Fimܦ:aO, 9o;?/3r(ucn@-r?Sha~s-9% SIױm h4y.=u=X<~.(?;jB8z_p;Z``Pܮo`z/7ciB p HBoywgF8OmGG7,Kmko}.SCҦ{s*UУͧyj^ [Hؗs.x3,1}ln_eDP|8u>ͭ1.O@w~lh\}Q|@iyMq!% Ό |.՚e9!ckZ^Qd|SyMnpVВzM-sW0}>\8 ݽ,3`2E"ZEJ\$bQ1z VY|;/{I%J&\k5߰ZvM(ʃZAıgYZ7zXZִF! 8\]ŗXi%s{<[TqNl{,PG֏ӞUG`WQc x+Tǥ\ӯɣKkAݦƒW֡%Ae[H0fjcIU90ڌrx;evr a1|rNaޕYKAA// *f1Xt( vɏKV{N%뢗XxTI q2ACFˏFolJn2rKWby(QJN:NFN @ %%#VtAװ:!E:SYW ꕐSˋ)J;Fl d5K!z# JB+{5s KB(Rå 8 vB([_DD%iTZg("amldn8l mDlK(@JvɟeêؑhUlݠݞleѴ m3E˂JtnaaerXcm홻/UkgGpV;I=rjc.L)F51_'/!"h,]01'{&*%ٙ76gSIQqyR;U 0!wj^ l~ K