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 ZZ#- d4L ] HOL-SET_Protocol:threads=6elapsed=20.760cpu=83.928gc=2.080factor=4.047zXZִF! 'I]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3Po|Yܒ9yk1 }eI{= d/;K?~hT 9k;/F38gbr2\w w+K5ĕk ܩxUB]Hqt v cnrl1¿;o:!XA<-ЗeSC4P} 6VW04~Dm@NL fP_a%b'꪿KCǟ:ojē;8jH.<”SIGNL!wܟ KPAegs`L'fށ6Dh>wOW?ܬSUʼWz˟`#-o*ZW!%?q&̳r&pWp1ۈNb)SgYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxxfޤ|I]AޮHVЮ[9C"w^t٬殿iHR`"4`zZ?Ú/TJT̷獩_^JPE| ̳0v}-h"dӓ Dѳ /U$"ܨ:׭gYZ7zXZִF! cX_]ŗXi%έ*#On cnP"յIOws>i;zलNZzF|~ r=~Τ-u!= V; t }4[Y11Il<2R']q% 4O*IC:MM ~z3:Cln"BV5sd:y+u:f繰=K[:7L9{yw&T<%E1LX[~Mmց+W,FPu_L! ; ca6<uRRI.XOY|HaT]^P+{Hi$`]edVMdhuɩ63 l< 6'KAMCf50i> Ui_w }wƒfC%mBz:RQsv Բo$bRik-g}a˩i<5yNc#m~?S*=Ǖ'["2)f y17T%a.'uʴv%ކf&EKw<;ͱvizbj\1XK!υ7aɸ@vv , \Im<\qpku鉬Ih'2B,[dc"JVRveVex@#t6|(ju#&YxB?]nFX 3 VƩ?QUx4P c4dDϜ+I)٦CkˌԐ<Ё Px[B: +CكDpN 9~ |TV.'+LƮUԱgYZff79d4132070763191fc7f07ac1b182938165de1c02607a1ca167edcd658ec3d4e79e4ea4af5ebba 3b9edca41ef3030e0a722d7987c2d1d2e4c73333 b56428d245432f5f15b93df17818e6c844dce2dc - HOL-SET_Protocol