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  TD S/ PropResPI:threads=2elapsed=16.411cpu=27.360gc=0.928factor=1.677zXZִF! ]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=ڤJк_/6~#d'^OP-. t FuMm8󷯶}óW»YӛRŻϥG2jvwY"%IY]b)Y+IQf)(ʫ{/킭u5Z2Lw MBʘľa܂Ͼ+  >`´R!Oztd>EcFTPNۑoj a?dAs[SҨ7;:+~tw82a"U㨴E.E4fPf \ J+$EJu lps|Bϓ'օōߟ @QQ^^(3,w1-@c)wgYZ7zXZִF! Y=]ŗXi%6x cR"@R&R)5H8U:$c~%W t^ -guC2NөX0vJO FZ!l0W@ En_.(  gy_gfsI( au+uRGʳ;]`ުz(xݱ}R"oDΔssi11E1m`$Z+zgr00$[Ɛ"u֩n( i>7֕ei "\p>m1K$YDmRŁWRzH ˬvEǸ#5:WkO f"5 YQ9ȓ">@Sɔrѭ\⺴&$U?塸 lu=MMKe.H T?ISRſxq#sK'_rysB}L$r]OtqΈm: ~ 7"9 d@AI9WP٬,,>-Z.o2,@nn./g=G]HZfЮ";{%F,Ǡčo2 Ҽ\K:UB|k_͍NNݤ˧^s*i͈~dI' }&Іbh9d/o[\1BTB& &fQqluҾ^Uə%"'5 `"rG}G_ҤE(uc cAh쒦4lE$kI"AESA3L5JW 쬳,^md~1ŕ/} Eˬ#}5m.x"52B9~<[&lи`\(| {*}:6hJVWb~:n;)kMD].BV*i((G<7Z*gP;JAr[I[E ÐP'kf]$z,+JF0 ŋ>>ec΍WM-;ZXm+磿v]8-DSu7muh#efoj{2_g*ގ")aӖ: ? md _+pVFw3ܸI_qE`ZaSwn κ:TMj ?(Wm PƦKg~ӃS/{'lF%Z2ה ]gYZ2410d4066ae373bed1722c6597e4e0d5d5c05661 80acea014f50df07de71735a0b8d00eedf3656ac d58ecc0b1995d99105c1e5da62d531bf6634eca3 f343e270af3d5917d4d9cb0e5171fcc3a1f2bfcd554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1   PropResPI