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 9= 4t YS Polynomial_Interpolation:threads=2elapsed=21.772cpu=42.376gc=1.780factor=1.957zXZִF!  ]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'02xTq@C 6obkh#gNw/A%igR<yAV~EnL\›t5񭅁@@!m }ym yX)>\_ʂ@MEmQm +y o-+FoZ+p2mպK—X42d"b1Oč'Ks~Ǎ=yKlrO4="Hy08BZބ(=4tdP8'FgsWU_3c/h첻oOΊVc A8 wqC%-7, ѐ-&oiV܊`]JIpǩsڈ =s"V5Fo(d6}0TC!jVSz^^j/8cK/cK2Em#T=1rb QxZYXP-bJ"fvDQ~ۀZ$ R!%ªt3q=,@ק ҧ Lv35L5|ax,IH(54F}us9O"j8o?1sbuf{~lzT6Hxf|a!rinMP|!SsT+TdD[: 0gTbI|U!]Lg耟fXR`C>v}bu][P}8_gYZ7zXZִF! sE4]ŗXi%6g/-N-塹O}arUݙFp^vUsF䝬ţj:vlm3hHL2,*K}*c*gGF޷4l͈ o[2i3JDė߆&gOMz{O,X,1O]HEU9c.8ݤdua_Z24 L?X9xvus}L1^)C;]>@k6/ڂ<'^mz/"[jL؁DK ׎I [&>|~ 4Z,_cCx8i*UNw;)af NLa.;aDc$gleEYHp#&('띗C3IV'#}À() ̘qΔQ3N#tH&G2ȓ%kι7;a2jevHއ/H)o=]^(.@ѣxlN{:hՓ0n:"#/P=K8IH* ëw޴[=_k& -'˧+8Sw'])R+tʲ:s*#x^O!ri63}xSDE!v߷Eo' NFGGmmDH>nX wI$^|b>~kv~ ׎c<@Ԭ*$,0+:\{(1=ބ`8ϸji(&L`4 ~NbZ-9q."g)[!~S5a<QP#x.ư<Šcw֖Ε@< !2[*@;Uj+0/Nc'8PV4P^Sl5)q\0=/݃UJ-Zj:#d+>v x5