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  o- \4l ] HOL-SET_Protocol:threads=2elapsed=59.417cpu=97.588gc=2.680factor=1.647zXZִF! +]ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3T|%u;dS(y0ʴ9K(OeĭEh1V3Fa+u܄KyX}fq!#:+3Mk1}[ͦ'6`?nkn3ޑ =bۥ쓐xq\\i=jР\/`J9ľu6b >; G%=&.|힓,zue}/QNt* Ѳ☩o*V῵Emw)ҤO~-&pv^xWs%lOajX"ӌDMeQ8;(=2zz2S*,_m${Y5֮P$67^LS橨md򇩁|T;lvjs nʡHzPIPf,6EzTӷ@!H٦ TmS{_B%ZwY`4u7輸kqWN,uϕWy9 ?ye{L'臱a/dψ۶,zzv^g4S@7v'%M@% ] 4:/2a}oz&D.&_|*|h|viSiym&<( eX9 ~h2~qPז& - HOL-SET_Protocol&Kl1&@&KLvN2X &}uDt%(oც{よR%|4[7a*c+tz1ꆆ~_ Fb Xy%N3H5pK AP6!WpߕΘ*P3?cJuOrk쉶7b y vH U:ƙ i͉`*(ѩrQ `& b+W'gYZ7zXZִF! G]ŗXiɟ1$߆tI)|yu|fxx$ ٩nvP/;U`{CD)Y+H^| ij[*xN-[4tSDCQ |礝%*3韤KoY@fHK\5 ɼ']W;醈â7Z$=񀎃"ha{AW_gYZ7zXZִF!  ]ŗXi%9*WE+eS?"G'7- wz}%n;[I4K0?.j!>z)߮aSaw ^>hZjE=@S.)nU]#w8B}(;gC,[Rvgo3t6Q%4~4S5ژ6I>~M~߅!j,ˀEM[D6d&k9KK٩<:GL$zJ'>,r;{̨4S.[W'pjB](pɕ7[ LppsEA`\s4%:iq9Աby} 8i^YhY:T*: ;;0TͩF*fE\$@Wzzxe4M7)قBOIa}6WS01&.=چ'F|R   DTeyXv b<4HDuw,u4V٨A"QKP1I!E `z+Ͽݪi{|-6]N>B_B6Ϡ,B[ᡇu/}Nƾ JVy';7T;l2Cw7 KRad{PҪ4Y(gkY8yQK Ӷ:N?J .:1n?pگ&I;Y,Vv^.B4/kh)O -RFT6) xEģ*c?BkR Q' 3aݢW!%#(_K¼]yB'SDd 0*p/+rU7dtUi Mk'%ٻ u3x/s6ORȁm@ݮXٴ_bY[٢BnP#r ;=릯c>rG/S\`wd PCTn)EΫޖ86%D/v (Lx(vtԗ ".$p' ),`@R7cg/] B#z(S<5żEPh8[|d#q^@q2E$([ 1 ] )cwD,bZz<^u iGTC짶+WÕtVW=t/ FSxo״$2\C'lW҃b@'zYڸ|܅%3nD/d(+-+yW\ #y[յ-3fovhLAc ,݉3!A={RiX{p6e~e n &/M'EUkDϾ/yVjg8f gdJx4Tʨ$-%誷|E-3B (fn1 S\Ms\۹/(lxjvB v`{wF&Z^JwD$G[-@s!)RWYeQǂnj֣M z|:^_f"\Er$Vl ,h1-Q)QFpwt.=t/T*b)XnvR{6!O:\un/]۲ϏkWYHLoⴐj07'g wqLjVm4ɰALM]\Ƅ7U#Z"-֪ǂ<{bL γi'ʭJS /,sڛN jD91cxb 6#8ɒ-s*"ВmYh(MOpkh|U0 8fyFMdg SZOhf[ }Sߌ 3=LOu0ˈ?G2? I)M@_ 7QvR8>Q !9- l}*~ehy\-?B[|(m9`L;:K ;.uTk4I@"Jf ۨT}QƓnJ`!2 )dMTO#YD8M$v̱,)ia U32VNL&+#}Cd^Bb `2mK)hX f| 6}#ޠ[8i=|,"ր_h|_wz.]6FI 'ihQlPkcKPlg ['} D})66 B4JCd[In]ڴZ{vvg2{^XQo8@ޕVoLCe'+L I!C7ꠧęszV6V8%1a$Y9ZHK{}!΋rg8in?9`=dၸ*&1n0#~x%K8WhZӶ u'W "g+{<[zG`9ဓe(f&80[u.78x2蓸:{ʫzdH ţg Є՟"T=;K~&ߚO5Dܾړ-.#RfՆkA/"LbT:ȭ^[Zzdz /ߴEZ gYZb0668f0542c4f9b5f3b596c1919bab5bc80d757cb5c424772a2a5b40f2f68f25414695f3cd309066 4421303c0db3669d059ce12e56ab74b4697966f2 ea164186239b77d6cf8a77dbfd65972873cb3e5c