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 - \\ m HOL-SET_Protocol:threads=6elapsed=21.894cpu=89.984gc=2.116factor=4.117zXZִF! *]ŗXf1-q恈%vA?'GAq,$L;׺N'nH`dzAFp{Yz+k1 ; lن$6dߗ\t:0D릡VʌM3ϲ:Lt >Ï%KÆ@qȢ1d?u6%tim8g(AmJt. WCZe}@8ˀ]>fO[Tljv6仞 D5Y8U*SD8 k5fLK$3!9|j@GX6ڌ ؼ<pS^n_M*MMBP Y"O47١̉x:ߩ\=d"Bw=$qkӏ%_MT R}ewBo2IİL4mgRR(GGYp(bFYi}yA  zYXQx"+F6;RV]n$a"H)Jהqig3u(q<! 9$a[Je(qbHHQl*a Q&ekyiw W tZd㎌G;h9S/0$/Pbh9rIĻ_ ?1̣7l-J/tέJ,O]U^: #A^fOT[_=L_)=U?&}iE{Z5BУCVy&b-a_bUD}n@AޱD~ Wq`F#01`5rN͉ "ލsLM-+q-nRNxɅ>{Yy:9Xkц냽=ߪ;d8'8JуpLo{f LAHh36i̵%]x_NeBbfG b g΀a3z޶N4wG Ȁm 6UrձgYZ7zXZִF! ge]ŗXi%6'4e;ȏzƽ2ÊJ vfFO埩Yob.nU2 t|l#+qzaӑśŞpsJ o >^[R9 &q=;BN<ں/KCTi[9V X+bP.c!`*s5+u *IFC*'? i]A>UvP1^ ?s'50PvV/qu?~OnJ;e.4:9.lc~I%߬QAA"IM@ig;ȇ.In.K[{}'7elF^=Q;Vݯ{2Z+iK:\}ۃ8#H||Jwgy5r$\jV'ӽ+ϟзgAr7MƩl%2W=.cq:Qb[w)\b!@(z=lv19pM 9{WSQs{vئͲDC:Ϗ1m9Ci ~VFvQiFR&%2-ဗist%<>`.Yjc-$p@: ?tRatG<^x괘& ܏K}?FJYT&Tl 簔2 O ?_tOIkm|@§n YFcֿT:JI0nXEz`cm^"Ɖ`͖".\e{Hk66?t\7}~m &oA*,Dّ *0re9-h?R jގ ߜvk0lP@dmo_6q5۴ -j"]oRKVÙuF71JdtV0t k+ś/`ؚ-]UЦpux0ǜMxOD<+k8U= tѦKEB `f#4(GZ;hL X!35^ȣ[wy]|ެo FSfK0>g1R3 _lY"3;8}DiA)9EtG M{vuO%bH焇dj"EVxNBUONash6 <iR)ZLwb8:/8* p[Wgv#  xh7Uv8p yF/Nէdxƒ8D [%gB& ⨏.habT8˿CفxٙbԊAs}χ=wN.O◹3]w'hKL;%SͺNd+'#䜯HY򬡿}'OH 9aOV3LOj7f) v˪uR3 BpC#eԥmS76Qoھ>w'//F6XUMHK*&erԠ1;cw=["xשw=7 ?n]d&nD|_M9TխRVHc9Z;GUMw9p&e綬 i[X`NQ_Q>į@wo {iX# h!g/x-M1͍ daޮҿrvkP.;_.87J2$%Ox9Pi䏿..lO%^.<5x*JC}'<+y.'I-Z S]s0vc[-d'>c؂gYZ129299d3a75617b6c744c495c476efc89641aad8 36494d307c248c817fde43436d49bbfba97835d5 4ad975a0c6d0ac01ca552506f3156a4715ad388d 67f492578d910605290e1da51e43602bc3b1ea50 69b45d7337557ed1bf01135423d2223a86f0d9f6 a650389acd45bb9b7a6e65324560def65f4f752e c9b1c655a002a34eb8eae1c01b73e89464f1ab22 dbf379167f09720bc859469db1aa48b17d08b2a4 f77aeb59cb532ae17550495de1af64b6798fdadc3226adc8c0daae6d8019f98cedea110fa9a4438c 87ed41faf4f94dc434cedca0383ca71f22c5ddf5 666c51068411c08ac0750278848646f7064c3e3c - HOL-SET_Protocol