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 $+  m/ SenSocialChoice:threads=2elapsed=22.687cpu=37.960gc=0.972factor=1.677zXZִF! n]ŗXf1-/6vR[]]c[QU!nݍc ?ˁqB] 2h5Hrö 4Lv+4:UDDFn#58Ym%vc|Ѩ hT[wQ+)?/&ԤZ*RT|w$_0?6kX-EvIZ$*HMUl C)߻gL =ok d>zA&$C]H2GL0a*g2*'J^ĮmmghruぽdZ+lX%ڔnoD_bW$LSE``JVwZQ(iQo5u{itbÿOSRS;[j* t bOlMf&JgYZ7zXZִF! wy]ŗXi%6[/Ogl \:j{*tڑgLCNw:6έ`qUB,[=q Ƃ jpso^. lfTn 2@";R\w~bRf,wf‰{a ?zL犽,5 |i]Z7kxRڂm.w/ ˶|- Te5cj@Az'عc3Ƚg#ZR.?wtwScۏ|XmR J@cICGP;Q~«5ΥjsPp}Q4!^U3,tfecDMqP} rc>ܯ@v`&ܹӒnoIÔ vovAݗW8t]:j}Wag# Ot Js&?|{24xjUl%=jssl^0̠Abr]pнҷ ׸R5H=Cj~zzQbsb{p͛_YޯA~aD 45g#d3LM.US=z˜A5{rƛr.b=d֯K z,|4=s[콭tYfݒ^Y~TeM7v֖zGriԺ䭩%~9y #A}BbB:t=j|CDX G&0J< gP8@|=EX5fop۾Wk1mf H.Ì3r$^nHnM+-D+.`Hɧ\&bzNJB|D b=6E6Tj贅)J:bM|