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 PP-- ,D ] HOL-SET_Protocol:threads=6elapsed=21.959cpu=90.336gc=2.056factor=4.117zXZִF! )]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3)s<j'>ܩRBvYu* 8)} [iL7gF .Rz)Ef<$Bg*xǻ0}? CWi%%#ギ`zie#rȲ$OiE|'5>hA&5!UO\XmkN"yz*rX b$IV5FDD i,|#tˣvsxlھSTGnFa4tҨ9v$Num3^j_j_wibu~HDԉ`"aZ5}7ŻRo,)kV@&zWt63 cȶG|Q:>w0)Ȱ0EتtGPN J{[[NF1k,tz:*~l(dȌFR3:S f-*d "Ll.]}a7Yc%K%?eo&94ՙVrES ?@3 ={.yb~=`_9xg,?R΍Xɩ)6sҴB5ᄑK7vrDTv !0=!G3>yqh,Is?f{3rbZ#Sk -k‡WNeWeVnę*+/ShU U[mTe$J bn5[\5$FKHEP &W{/ YGY{l/ D lOl%~(crz(vTA9dd+X+S3wpI%kU0]=souPgd$=a T ٳ6 b_۴#{W2I:Syj <|37C[qJEgdqnB|`'&wzAbMeA%ABw,Y}̍$i*07#"oϮ7zp}GM&SnfMFJ2pzGD=`8 ܅O^B2osp=5LQPc' !pN;& Yöϴdv~<&%m]{!ZAc'[ŵ2H#nbweƕiGuKɽԻ}ШwD:#k'SLkMϡ {==aY4+h~EEp/Y|w- JwYyN`co##6Nz=؅D> ͱ3H'7\bh^*?(o\կM^C3 0u&divsFb!B3.pyޟHn>y5o /)م$^ѝ{ YR%RFb( w26X!ܘRv* *WE. җOhZ 4|ye =egbf H}|\SÚToDzV :-Ջx#$hv>}Ԇu>!- !B74\*Ӹ9sO%J r;HVUQ=eeuQ[\Cߙ+n=ck5 ^uvJA?Q.q\he[viSU (ʭ;1(_q$S7`ȖGXKğҪ4ݪÐPDviv㨇+ T1vjp{G `*OZV? 0._v5#JUY@D0zI5P/bWQA f鱭e(oXjN3ڠGb&1=e:VN8$uu DV{G!8%:.ELSuzT5OG_0YK$>o:Y4H( M(EEG=)iuHJT}SE}/r@rgYZb8a2ea6718de3cf0a3f87578d8cb94acf8e6e4df1bc35d9f5c260a07418d50e521d7d63c2a5eee08 ceb5af7e7710e56d8e11a352c6a6268c805bceaa 61286f221934408c604d798e58d2aec64645c74e - HOL-SET_Protocol