SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info //BO Dl SS Noninterference_Generic_Unwinding:threads=2elapsed=19.188cpu=21.124gc=0.272factor=1.107zXZִF! `]ŗXf1-/6vR[y(&j-:69: ջϥWy(Y:k۲&d ost:wM ؓv^,WÄiM13PtA,G܄^*8onx O҉ t̑Ns lnwwۜ3qGo kAA;$$Ͽt:$:oM,͛:t]!x\53/}T(1 ?q=BXMJFY:1ԗC.Ew_GO]Ϫ3ԒbaODëY;WE'{~E MGD@z5~!O0A梂lfǦ~X:DX)CTrRLk(p\2PE1ub&H=gYZ7zXZִF! d]ŗXi% -ڑWҩ`9Ԃ9u}su<=Uq`ۃ[sW @RVف5؝dc4ކuG.UJΪ{M?˜⮪+&}O{J!؇]@ -RzA Q}%5-9Kmhvi]zu`!FX;ִ]7(C!t_jk^͑&jT׶NN9-׍f;&BBDm#GTyJ@v9%()۠%?0$j a(9R7\x߷,5 J;t}]ư`OjM"H*%-K g;{]: w\Xi׫vH-E|Ev!-eN fߨQJKcTnP[0(1s}7_!ƴE@&i+b:Gܭ)ړhM·x2@^,.nwDvW-s k+5_j&7J!N ԆXLN^pC"~qcyg*؛Ow~>b@Rⴖ\? ӓnsJM={,g̮R5I1,:\s)bcx+bR|ysa G;5%{3~j.=6-W^1@Qe#b0Mhxm uJz_^ŝ2:ϝ>loR6 ]X mH|~V]VWzY\S Xpʔfc`؛[~Hq[ .V[ 5{M/]NN= ί ˾Njyne4¿iηJϱP؟+\&sT7YS.lPz~:MTd|>d9l ~M^aԼ5/qlaPz!ͤ‚EW3T k00v]GGY`qvhSɓJFYwr' ϛb̳HӮD/ I]CXr&1cʠ!P5 p >^q "L\@n>R<єjs Ky6dD gYZ22c7c96374cc8e6f12463adcfb46622f468d2e5b 570d467a2b19b2b2c091e27249319509409630cd a2ea087c246dd1399266b38f108e1a4dc5a397ff d9d1d3f62c709116a8a81b1f6e8cf7b541a4d8ac70d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 6fa91598536aec92e927b04f9b5dfaf5018417d2 e9551d609bd3571e751bc728efe33ddc2c38b922