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  q 4d wS Bernoulli:threads=2elapsed=10.704cpu=14.452gc=0.324factor=1.357zXZִF! ]ŗXf1-/6vRZkBO&+p_% #Bѡ+C1/0bցjW鰛sG%g/va̬Gu518%7KVtT>(g;D˃eNz'y)L <yo.5ߌ^Doܷ|A#>~znȀfm|:VdܴG^GjRK8{hgYZ7zXZִF! =]ŗXi%6y4-*dΰ(N mwV؂j;ZFb;_>BV M1H5l5ˎ4RT ʂ;wY4*3oWv?V&jWkXbi)-?LлD}޺"Ho>`jm2MxHMfAxURP~AVՊA-`B <5磽na 7AqਣBЋ}p 5|N}،6.h8}H ) s>/įBCT2$>!Z2 ?*7 K8תrW:nڟ۩HYR 2raRcM[SLvbE6v pΫc-x-غ\m}$DVZs^V gogPz2S\(i/9GkMml%x66F5#!/K? ~pB(cY3D?cшxFQdKmZQ~GD","YӽsJ|^kt+j$V^uxVi 4wVvL ]ӚWj3<QԳ@@XmA[`3uJצTEνsHuR 7D