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 6- 4< m HOL-SET_Protocol:threads=6elapsed=21.817cpu=89.884gc=2.140factor=4.127zXZִF! )]ŗXf1-q恈%vA?'GAq,$L;׺N'nH`dzAFp{Yz++cTtЩIr " 8zĽg kLO[_;ޞ#b?$"=lyJX;<:3{ GB_sskSGɶ,rKfj00&-^:7ۄƠ/Z8 ;BWDJbYd<7= srfǨB|rs;=&%ЬęlF4,)?efĘ<&/N*Œ!֭ Ζ9þ=!2p){ :FOA ІO{x & tQi8lE/w1)oG]L!.y$ND,Ӽe8ϛ@6u`ӨHh}ԊM ?ɅLt숓eI'rE¸nk7־l].y śaCTy&&YܶdTϜj\ÇVCb׃(8u3Kl!_O ms]yIw,$lr ָ[|^I7R@yt`ۇHCjVj H A5.pb9u,(1#&ƩO0[QM C=K@vD\RHD p3=hdFm~\f/]~x;A] Zetr`71sBsy7.'en&Dpw F2&͉ш*C!qn9:Ra.5䏙J_àhHQ_Gl-k^Jy6 PBdNC͹ %#E)AE]Dv|: .:̭P7lZ=%_}ׄ,_LeFw+𬪳{~mm4&ԩR5H;9 F({hRzO]1ox0t{pQ`ylTq)n,߃JO0{,N:Z>" ՗] 3 K##?t!\gMEmqM˗f*E!>N $ 9䭜vk4a<O‰KEb꓆-YX@q;i{TU.ӳL3E$-Od%S} HA0%]6 v0aȶ̓d`v3&6;_ ZiQoԳZb5hq OZe,@|@޿g!m >B{:f_Hʳcp*Dٵ埌G); clK_f'#tѺmĈ2ccWfJծiSf /נx_+n @iK"H[]j\ūq[g;Hj@F)vVzݢFjPZy=xf(f.5}EEhE>sY0=ohSFe$q7NHi9ay E7 "G@!'i`%1CD.Y1hkxdqR-6e72}D~%Tv[\Un>D_4ճc~'VzuC)_ f P':y&\ymT7EQr7eAE|I*1:e^XG4hP]u-ݚ"ID6auWS h‡$ #s.doͦMݬqp)R-Ml ,ٻr+v`< ̰!Τ~FAo6bB90^}rU~x)PcA[JձgYZ129299d3a75617b6c744c495c476efc89641aad8 36494d307c248c817fde43436d49bbfba97835d5 4ad975a0c6d0ac01ca552506f3156a4715ad388d 67f492578d910605290e1da51e43602bc3b1ea50 69b45d7337557ed1bf01135423d2223a86f0d9f6 a650389acd45bb9b7a6e65324560def65f4f752e c9b1c655a002a34eb8eae1c01b73e89464f1ab22 dbf379167f09720bc859469db1aa48b17d08b2a4 f77aeb59cb532ae17550495de1af64b6798fdadcfcd88a5fced670ac9aac7c7e9e8807cbf44e3ec3 1b27b440bf02f7f2797bacc3b51f6a6192fdc452 d8998c631efb194225a2cb011f47b6573dc27d06 - HOL-SET_Protocol