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 z- l m HOL-SET_Protocol:threads=6elapsed=22.249cpu=90.076gc=2.144factor=4.057zXZִF! )N]ŗXf1-q恈%vA?'GAq,$L;׺N'nH`dzAFp{Yz;<, ; lن$6dߘq[ͰMwOj9$4 >"#C9Qr}?KGzԦDqFoP(RP^L0jREK# ^XͿnj$}UmcCdbs1%d:$…\$rizM+#)Іp=)+|~%עž78'`1kd_&Á1_O wg ?$Y|it9$@/ D8_҃N1lpD._ۼeb/ ֭ SymU_rE):x_9dM5S{gZkDzP^uv\85B2di]T:& ;_^K<,=n؄a?KW/8dHG'^t qgeI>{Lip}cBp(BOZ)o]ŗXi%6|LEF}ۼu^4lvy\a]:[y5϶!3?j ʽ.Zݶ `TkH #U9*eR%tgG1olY7Kfi\Yedm-fv:g "^W#) .ݠ)-՝̊芶b vs5CA=C+}چ%ۑjk+ Y9zs9_ yէ>`8kVf#qq|Dxz;KPRT˥T'Q1%%b?)0ź](|}};u@\&~95 > }|\K:d룜HjV8!ڔ&V M CrϗvFL1t,`˦\58%aUgVs89rX.lx&~^#fP L\S|ޠ|1ǔ QJl5Eݕl.LU|aC_GPJ^9NfzI AϚ A&6OT6d5Z\^~gSߨ5`F邍7P; f+8GnտǾASaz)AXm.)'yPiv@:B_fA'Pz; żi@6htu[%x I#7-buiX_M%W<7uClL>CFvUgYZ129299d3a75617b6c744c495c476efc89641aad8 36494d307c248c817fde43436d49bbfba97835d5 4ad975a0c6d0ac01ca552506f3156a4715ad388d 67f492578d910605290e1da51e43602bc3b1ea50 69b45d7337557ed1bf01135423d2223a86f0d9f6 a650389acd45bb9b7a6e65324560def65f4f752e c9b1c655a002a34eb8eae1c01b73e89464f1ab22 dbf379167f09720bc859469db1aa48b17d08b2a4 f77aeb59cb532ae17550495de1af64b6798fdadc941af165b3a4711d695431721b315edd59057cd6 aaf07e004332493ba6c12f9cee56c4c12e629285 8d93b7774f9de48537752846ed7b256ea5f0c96e - HOL-SET_Protocol