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 + lt m/ SenSocialChoice:threads=2elapsed=22.674cpu=38.296gc=0.684factor=1.697zXZִF! ]0]ŗXf1-/6vR[]]c[QU!nݍc ?뼠n_@8SR E} &msO [9v}SR"Dh{qXT۶6߭]tTZQ`#` `;ibX̐~f#܅4_U1:j3mW?l "I#rOMߍ+Mle4I8 vWug "(gVy~Q {sd~ xA9g`XWWa*XRyQ*S%/ؔ/lHTE{Q][X2'hȭk]L/ĤWDK`֮60 {Q +s]*T!,yf2ft2BasoRa]Z{olW~heuOc¯muJz3lGI lrF-VJ`Kr&8O[ūxr%)ߍ;slj>C68Ȼj⦝ sPfK.5{KxǣM(6HW%l & Rƙoǭ :/F ࠊ3S(Y:^*YʏʼKI,yճ^1-E* :MY&wkb~ r|i­Lv衎zIZb<OY0? e(G9z Hԛ+>&I<9;>Be}Z)m8 [3;{87.@SJaQ%VQa_GH`h4BCp&]{|aVh;qlCGb2}i16=w>w z"!uǗo ph 5FhXzqeӛɴT W,bmWJ sy 3 Qhְ IQ" {x(˃Cw$μ~ `z`#HbG_XMisΎJx2YjPMh@Ή>e4i8Ϊ$\:Sc[$ TbŒ6r7.ЍcO-zVzr'rӨ?T {+\]Kqɬ ZAZ<[Nt49A v}FC #QsaC+HGg [Ja/+:_x $; Lpv+iBku G tB׏\x?pMr4IoO:+CjZƒMFP o' #"%sLP-0J4 <|MU%jY(+P_I$wB>E.66֚\ӏfn&#y+}mǝ#=8F3:p;fM gvEɿoQC |Euk>&=k`m;F]Gf#G-N<,j:Y_TDE`m`D>* L ~dlNzDwi9 qƳȲ&4`iŹIM"C6 f w4(cdpE^ J[^I:+,)}p