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 EED\ mS Formula_Derivatives-Examples:threads=2elapsed=56.920cpu=103.048gc=10.116factor=1.817zXZִF! `\]ŗXf1-/6vRZKƯiWٙ*P59#;Ջ+yXx6T'@db$L =cǘUH\OߋDyQyU<ܖF(P_\`8-eEm3LqV:שw:5DWQ)GDTEh3Hi1gЙǨw!AHgKkE\r SRGny8 R 6}j2N~]g8SWNsk35r HzA_„TsRJ!9vP1*0iBz jؾ J.Mqh E Formula_Derivatives-Examplesp֎̓;d1r{eF7\ tk$wo$>m?Rҗ$鋶R>s9OfnfPK~тAl+*KG0h!UJ!d>ْ%$.HE+ tW(Z7p>SU}|/̊h&p+{nkv 3K7c_/dk;I2:acOxo?^3 t76_xj}* gYZ7zXZִF! @ ]ŗXi%6+AdkQC﬎=ͬCF'Q)HQ, .|//=X/̙89K+ )b?)綌EKz7Ĥ6F#Vb |g xI;,NimG QsȁR~+<->pO+t[u$1!An6h)(0N!g{5&J tR=(ZFx+jaUK-& 3DyMtxnl$aeD9s(_aYη_hd|XnCm<pضQJm~ñR1U' γTa¤Dd>RXWxlu49,^>dc" ߺ%s .e*Cnm`q_='qO[T10# YqS"܋3hRI-߬>,:7YV<2U* s JS 1)X;ib۾Okoc4,8^´kS->,f"MtN.7/91 '1$PlCٵx)LTa餼4*Doj JTVg.!{dr [`Kd@fܒ̔%ԾS F?EP6< ޅ mIP%3%i+Wz7<>m&Hu?f٭T Nh_E'wIG#)0'h]&(ѝkDG!j[ZZP•έ<١ymծ|u;@k/2;pOX9N|T07k*氯KuV̑f&b9Pگ5U떇"`{KUL`H6iU'= kT^ 4F[G{d_gs>C|YrC\|:!' )*}º\}~8~l]=ħBith 'kKa؀ܲKA4V˵l,=rfM&UR-i}ZFbVƄs =`=&4noy$&OnYG&D.~N˯JYy'#2]yjF=N*?z@Wٯz+NyKaY;H" UtF1}326L'mGxp8| d1ݨCfh\ $";iđ c?,4'&Liq]$fLN?H 9RQ̢FrnIk1b"tц0 J ?$ Xކ:㲜ރ ǣ=yJ up +<5ZPVAA8!Uiv g(pܽ%\i ̹!Jt Fa0B,t}Ʌ?RuVݶjTӺQ)wJN6B[w@>S]qgϻ 2ӆuL.{̓̋_TDE)tOȓ@YLg8a(P&5wr71IaBK0%g21܂z$"1ߖܣl)2>tMZpAb8~V}aO&Rc8Y<:2Ûȧ6ULO ?W2MqV2V"֧?s`*Raz#Q *r oep;aqPԅ0^~Ό Lrmk䑔|m\KW$f󬱹U=8PjMB4'L(MN|i\?p̻XMWgYZ039578444c8697e7503153641d78581d411110fd 09e0808c0e37c102417cc80ab635572ecd263bca 25a2b8887c2ee6578b2fffeae037e3d6f40426a9 3122c5b55089566c74375976fd6040cc34c326db 51a785ecac441cc4bca5661de9d6edb1ce676e61 6235843687980d63073d51ae6145251e12da98cd 86c4fa7f41ca224435913dc3900969e202147953 96e21cc0c2f0606d6aa3b943d666b54dcdea77e2 f8bf8602b256d952d1aef972c9aae94ce29a6c15238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 4314df325df12b88779d917a1fd4b9b99b1ace9a