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 ?\ ?% Elliptic_Curves_Group_Law:threads=2elapsed=70.500cpu=131.320gc=5.744factor=1.867zXZִF! a]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PK()#,*oY w_  bJ 4=eK9N>̴I,c yPAj1G?t&XPaThD g8OL*!(Қ!Ix7& t8nR `8ʐc͇Bl<+Xs~ㅆA#@ hn5 *u(mQLA Q^$ !A&fH^#-fDi:eLh7HKs:#WQ5c&y-]\!8] 5$k%k6I`iD9XTyw8!jǒ̡8Z͟Yͥ9VjL)T82ԥ._$\N܅GN,,m$*)09ª;7ST%9K[[Z'g Bد>"/J$Od/{)IiT_FId->y~?z6dDțBJWKyA=o;귛@q >Ƕʤ.USfVja@ 6֖b:mPzL Ө[f\۫{R Z/Ifd,E/i9$8ޢ&l AK(LwO _r9 Hm *DL|&=ѷY =-D(9gEP fGyKN ns;bN)!IL#kSݚ57Sp>|˾ƾ ^vdev`~v&SmqM;bwoPH4רZA&Ko}MXW3gHROv#d薌HhN)gm6jfs0v<<5gm1UJA΢~5Vs^7=Z,v[7TK|hx1xz6{Y+Yf({DGb~9%t_GYGզ^p^AjGp%}??'p^Rϣd[Wk]S{Yf79<dBSSn#ɞsg4zX&//"0,:r}"M~NOuJEpL?6 粯OLNdcm'Qi[0Nw{c)#b˂+'R5K'!03r`}a ۗ%tWj_xPJHπƦ{VT\TNr{˙js=$ SiF_]^YhL,nijJ |ф=to?m9hID&PA5{etefN mwJlEg/˄>e}@FȎQ/Z'sę9Z B臹_y-lq&f ޳M|IqO[嗄3YջwIq8iG"-^3}߻c/{lߵuݲHc.v)PMyFEO};ir$eW3qV1mv(78H>,9XK P@W4-sƎ%[-sV~&"mX$ > 6u5#Ҳ+'¼ !Wy a jڱCY s鯱:`vB;?-Gxl%tc-qUZh}hn S0GiQTLL费)ƹP|_.Ezfz{U{gZ†yh.Wo.(Tm[LX.5) i*Ȗtl"نIv`Lq9nƬ/`{etta>ehs'Y:Q潄|u;]N_gdrM5ˇP;65p֍១Z,*0RWlHvt:T֓wrnq~ l-d0bitB-hh(8PTmwnI0л>3詚',<2S~#lhZ.IShjá-hx%i}muvRQRJrMN} %ً kmY{Θ`Qayp*!g逸}Njĸm6v䋵BI\1h (zbe$XO8U;)v-(zYe}ך |0+l GaT*T9d )<+!tel=נT}]KKlkTeī+HRWcBv}ȁQ `6R#hkN 7w0 [re p/03Q-c2I厣/rL_W<^+**W%e ֽ(kgV/*cTQrYZM߷K>hg !S,8IzL>N+UeyOGTjj:`iKd&7<44z4ޯ.5MQxldV[ue03Hhx:(HKbWϕ +=54J[6ƱPvu%]GB~WI/4K@@=%ZPV.` ҌLx`c6 \su8-~L'=!DhOr>t+*φ!VYg.<|ӸIebn FؑIz{:-ClY>9tF÷ IbA5}WҎT_;K{q7%[,K!oRE;50 H?N`czCi.XF`?є:&JAج:SNJkcOȇϹty)@R&=xQBڷ3ܦ~p1x;9L'h|ԫbV9_).ФBr2NsW+{y-wd -~/ZWtmsQ-Ke # A9#B}LކNEiGaJkWꋗ X=~>wyU$K:ΫCm&UyV.bl74W/DQ 5 6LzrvNieJu0 "?#.~]2!WO(we넩 WH$OۋX?[GTSKN:.|Wd/+Q3E+ + ?po!v#eKRJkYRr=Cp4zCd#3>\PާࠅDS\%q4_+;caWO*SB^z&ԕJ*`^T}u~mOCrW&ۯF$_AhzLڱԯ|3C