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 Q ,t S/ PropResPI:threads=2elapsed=16.184cpu=26.808gc=0.916factor=1.667zXZִF! D]ŗXf1-/6vR[3 GoݹZr!WK{;ŅL}s F!=ڤJк_/6~#d'^OFtsʛ$mn)r7rTb9;{>2~Hl-cP|϶&}l}޿۴V- S;Emb3;m ^^ͼ`zF:#EZVLG;6svEuDhϋ :܀ 3g-2ebA'b ?$(d^[+@ 更]#ׇ[O2Rvv1UY$g-)oBXM 1]h|*dUK\72vfN^Ew+{ӽgYZ7zXZִF! V]ŗXi%}(#Wݘ[7ޚq1Z)#oZ5 50'*2{2L/-!ĠijO (ud}Qmވ?\RJ}#6?dko }ϓ|PaS̥i ܵPg*Gay4Jey1P`)O-":!ZӦ;in/ \+rf=g+̹-V N~zipMIӐtEIyΆ`wdDr&X:8B>s'̥ؾ}WE=!iC 3 VOl6|)qXlfn)*M~#B쎭@;5xt2Tywq8)AZF?e9śGʱ򩖹4ÁWC D RP0Z̵74iEa^21JRqRPV֮kڜX XJڬ{X8[rhVz6&w9 EjUաmh$NPZPE]9btMgW:## ԦM Bk)5NEMhxwoci޿+#Iy9Q2~V,5'jkLO>\Lq#P] "+,1B1esx]e5H|o d,Owu=AI Oh,ّ|N;W˾nK6͜ÉKXƄӕ5Ι/v 9pu=ZvYP73,E+ov5%ڄAOa%fegk':tB%]w}/~'{qYd, y7ߕU2$cq2-h&2Bɴﰗld H*1vVB'Cj`.NU/9@j{܂Ku5MwJ Ca{kV$~$V2LYf nTT"qj*atyZ QZ+Ӧ~~V^=ux5 3qA>qU̜q)˫=w$+AvJozM:s-&P&2_}\zh֮cژ+;uu[:0# /*dSBX4%H?@;f[(5%+0cŽ[cf b]KOR ߭"gYZ2410d4066ae373bed1722c6597e4e0d5d5c05661 80acea014f50df07de71735a0b8d00eedf3656ac d58ecc0b1995d99105c1e5da62d531bf6634eca3 f343e270af3d5917d4d9cb0e5171fcc3a1f2bfcd0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f   PropResPI