SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 c- $, ] HOL-SET_Protocol:threads=6elapsed=20.878cpu=85.032gc=2.380factor=4.077zXZִF! )]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxa1H ){LzP@AU&W0ZD=fw[س](~= 3:}@ەk@MX0{JEo`NNlc DD;1Nȝ|}Z6[+:'fOsz13jF .R^%f jkU$mRqbyГ?MhzwN' T`ן*q!p:(5aͽ sWE882"´yG}*ppdmU)FqQb`}$IR>*ĪVyv|Ow+m֕ȪGMFh"uŒӇ"EiWLLY{ߠh -&0G:8K~{a|F^elSiʱgYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxx/ޘKP^BŰT0NK7?扆 E9.n"כO;JdAzgRgh% ON˨|Ɏt,8Qˇ3TTZ0sgt/V6jp’BlsYtJȫ?Z& . gՊ7liv=(5+).<Aj};hYR3J QuJ|\.sACqJRڵ&nWuK@8C?);oUAdXN$:DڞVgX"x#$ Z B`&GJ?%1vյ޴QL;۠w[w97lfOP"篭 qYp%gݕXI#,ݬ햴x`0|oiƮ LsTHb~LGHodiǗe=} ѸG&(x*0aTX-nfy9 \UV {n62D_${AKm40)7nuOM3FSA$"Xc-ՖKp @3`ӮBCn'DXtN𻦜͜`| : bo8j`?R+%ccF"f2 M M8uEM4c'v.;y BLZϔDF?۵N&a&{̓ U<GG%il-){eqs[fFϊKxye?ddo4}h̾6.$|G%@U^@z^WcǞ2aܪ3o,ӑoQL iRtWr) ?xV췰QcZIݧ}|^֋p'8q9kG:LI"Ctd1޶ `dc{v1螥Ƒ#=Dͤ% K`z_8g!(1J:m{"k)N"N]RR-{ѨNeG\,n7L;Bi2h0' Eu.#60h`XPpzF7lOKOpQ̊ͩtL:xAV-l/]$xT_Ϯ م,Q6!,`pEU'̈́0|4!I '4FzaE/g>h_q~mo 1\Xe@jL^\q2܄A/(舠(?̢(dWdWjWYD0ryj0@ T˾١d W;(vFdy!@ fY2[>c*&jfKiǞgYZd04fc27f621aedf513278f90aac1dfc824ee401fba9703b8d89941ffe014c15e6ddc671ed32d9999 100b23f10739ac1b172eccb60c813bc22e9bd494 5db1b95e54d8648ee14dbbb91802b741cedc9545 - HOL-SET_Protocol