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 YY$7 $ c% HOL-Quotient_Examples:threads=6elapsed=26.852cpu=43.680gc=2.132factor=1.637zXZִF! =y]ŗXf1-q恈N/|p~p%+)</80WkLaA̢wH? 4ќ\hPK>Nhy/f@zlEkԜ$Vix X=%>L^r7K?z:t<.GC8F 89VR!['`g~ӝb#<޸FTKzCԏQ3pVYQU56Dip8qrXc>*!:*](0pR/$U‡$s-܄g-9M,m-!q Lph\^YeC[iP]8p#1+L#_Z( V.pq-5Oxka]S\~\V+aK8?b VoK)A7]K^OѢ+s`e1 ;y#B#}L E2 Ės NQ}hrd4"9NU9iRv<+v٭CF|(s|7jpŴm~{Lh; @ TɌPh̴Uk,pZ䊱gYZ7zXZִF! ]ŗXi%6vT$(LVW'+qǴnu0 +ﺡس\n*zOx&J};udIfW#ͫ[ҫLR9|-UU+crʃ*`8'5ګ 4T}v=[6y(7>3l,#D'rf7ՕJq\+W[B\fϟHwp e欱}H>i`j䘪d'iNx;)h}ۨTG#cR~zmڥZU,TUk`xov[͗τ@kئV/S1쇑.FcR!3s4deE k/!#m U#Ǫ Ifyus50-=aJ:iF&]Sn,f!sT$P^ʌ]URDUHCL ґH.F9Y e@| qT2C C-t?/ͳ!WQncolG\][ßwyųN3! : eͣެP#ukp簐rNQ$͓Y |B聠Oc `23S^o}K[s8Xs^EK.xwv7aKQ͏DLS $;< m%lq&B9(+7_ >O|{ɒp3ͅGjs3q?K.! 8˫\H䔋5H1ryQ]ڝ8彴ȱbV%9LAӎ\~-AS4ZC漽>7>KIO={HTcCX-0b(eڄ^ 3AQG\B%e;1<9Z{pO$qF3bB!!'4븂\6pwa#>/|{V<:l< 98f*?O>]o&Aڰtg| 7V»*#İFzI l%*ֱgYZ17120f35b11fdd87e271e089302ee0ea6f464cf7 1ffa3922d6eff210af683fc33aa94d0c260d1ef6 3810a6e744a84157c42cef25038534029d44d217 39297e5c7830d34449d5fa08191d0595f03e831d 7974b88d00ad9d146364b2a6781be58b43f4d718 81f0ae14ebd332056fe82d2234917c256afc8014 92e3d754b9ffcc3c8f74f6c22e2f9c739417f39c 9f68e56d4f9f5484ac8659663756adff835460a1 ade3ad97dd32fe559260faf9baee7f04012a7ad7 b8b83c597cae60fb14d3c013919ae29719345eb2 dc447d8aa2e5972060d5924f038d0f40ff8977b9 ddcded323c05e1628043812d5510ddc7f789e01e15748ff93b5834b25114edd06d2d63705d38b42a 099e6023f4ae6707d54ddd503c055c2d319dec5e 03e4eb80150aecfba50f57cc189606718d664e57 e03f337dc603c6782adb95251274d2857e11cf70 dc5a9e936cb8a62f452136aad580b603b1bbc119 7 HOL-Quotient_Examples