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- |4t ] HOL-SET_Protocol:threads=6elapsed=21.611cpu=87.600gc=2.068factor=4.057zXZִF! (%]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3T>PEr&v ? j[Ԝ.Ԑ(㫏kxzjtF@[&هL͖ݡ1ހ`?mRBjv&JTI1 I--.G*g$=ilp#S0KUCpmBW"C j`GmH,鎰U,P&V\G1- Iq_Jh ,îzK$3>\򭹿Ȇ>m9GɽHvL}B>הqcޤRhlw:&^ddQ)Ҷy+3pt|fܻV_Sh]Zap*esςIҜmLZT@aib Yd]mw׋Ks J-LS / K`؞)k6jJ>JuS)>iwVT$ֳ'6GGJQxFAKS el0}o(Ykg] ίY$KI[1Y1*,Y)s&@}SƑ'vQ[Xώ7ޱgYZ7zXZִF! es]ŗXi%6YC@Ԏ69|X_F>-ݨuO%l- #ظP֔D*6?'Rߐ>Aᬧlhg) X_84V\?S "9-,OALn$!ui]ڔWp('..&">Y7p o:Hxʈ1<5gvY21<:_W)\` 2+jJiSx]ӷeq)97J 2Z|pz׺$*o5>8 xfrVdf6=9`?+DE(VĺS:eA,ɣm:=b\tQ  4KFϢP˿І{S.Sjrt%o a´cz9 tѫzoK]Gsxr{iFD,V\jۺ:=`c)CEm+!v>5~R0CJwLcq^g`;䳞%Ūy3n@gc2!<̵ڤbc0m,fN7os8ۨ6 !3T9ou fz 1v9w en(LlR/U|0ʸbMŐCcm:.:β_вC^-23y,,P/e97rc{˞M>Rڃӊ@ Bͷ⃁DDZf&{%٠2ƧTUCXAoj" v0[7$nǡb'Ze#%~HL YgRG&mu&eZOL#VԎe#GKćݫ&Id{Edf (^IA v7%c홣"rOƇ6zpʤ<qyYY OĊ K,&=cNwnzC>tZdwSGu;8H灱Abx6;þ`xTgIпi߫^(1(Lҥ;,W;d5,1MfҐ6c@x@@F kE(]UvE 0$n=Ks "q!Or=~Srn5Cb1i*j 7vR~(\Y{i:{('$Js+w9ye*Ъ^^|.Мwi16Ֆ8K}mS e$Hup#=elxt3TVoTN .8p᭫M[X4gYZc24f9161bb237c6c1c05d1c39524206527d2f28ce739dc532a6c80e6f5d762f572346ebeb03f4552 5c6d1467eb3dbc220749df9119f5083087abde6c a222adeaaeeac8054ee14fb02b6697a4291344c2 - HOL-SET_Protocol