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 v- d m HOL-SET_Protocol:threads=6elapsed=22.119cpu=90.272gc=2.208factor=4.087zXZִF! )i]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3r>_Gq9$gCA> jJ>Luja}@5cB8LqޝNu,QW*iO1eq뵖]>KB.HZ%.vC"jGigWJDZ龤~fm 5>Mbsu3BK=e8n,#gVO{р #5 :pgC @+bS:ҽ%AFQ'um c@Zlc)?"=sYRl*gYZ7zXZִF! gk]ŗXi%6pm7s|*3Z*}7ZNbKWa!VJARDŽ1EZBG焀IND\9&@aBKh27 ņ06\t@p6!?AM7B*@(,u~pV .YHȽ$^OyW㦝 r q-(rߠl4f%B5l H遼i߰r,Լڤ2:{F5d.drxcv?6z$h|Qh1l3rOBBDd0'AxI}|6͎:̬z?,4L,_>Efm8 ף! 1bab] %,ߢ@yE;* OmT"~u4irł=W<'YӿY÷g (uLc6 Դ@+])k0)+#|iK 6R!><*R/FCgxMXj#9xB(ȕWrt9+nܨn"%Է(V7ʑtmy<.gQ`յX9mxDu}ZLE)rJef[qX" tۛ픍ȞUF#͹xC*\O{|RJKwT]G!Aa\=t!ι'p4dΕ,aȆS=9R.2 W^'r=/_g^byR'4{.DƏ/Z~~K HI˭k\,}v+uiuh I \ޭ̡g;Trv Q皪P}wU28hiW(6 v#V)YߗEKmIWQ{ ?F)LyJF@?K^h3#Ν>V#:#_<#f.I&~1z:0fB$Xt&[*7^@x2Ф xۘFK& Iac9d3uY%^l#'`Vj̉0n\Bιk,7d~K"ơD#$MUYC)woUƪxZ3γ;m] ~h , WG]箥N 2By ff9՗.6_}Qgχ@1UgYZ129299d3a75617b6c744c495c476efc89641aad8 36494d307c248c817fde43436d49bbfba97835d5 4ad975a0c6d0ac01ca552506f3156a4715ad388d 5e319a49a0c96c4c92720af84b8877fd73e7fef9 69b45d7337557ed1bf01135423d2223a86f0d9f6 a650389acd45bb9b7a6e65324560def65f4f752e a69633ff75dd0b0bf4387b8fb5df654a3518db57 c9b1c655a002a34eb8eae1c01b73e89464f1ab22 f77aeb59cb532ae17550495de1af64b6798fdadc6e5eb9b4ef3d78e2d0a5f155297d092df68a3ac4 b225b9f4c0cdb55617d75398ca0740839167e848 d0330b918c3367a4846fbd140e99e2845acc9135 - HOL-SET_Protocol