SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 BEL<, ]S Formula_Derivatives-Examples:threads=2elapsed=58.387cpu=104.512gc=13.344factor=1.797zXZִF! []]ŗXf1-/6vRZKƯiWٙ*P59#;Ջ+yXx6T'@#īc_RP'IdEn~ԡ t7_v$G]f^s vYqce*<B"^uL9bؽFk;$dv8$ P~3&SmcI_~9R9OvHd`s_Vثs}o /1I} @KV [2⎟XAp>}\YJeO\o/x@C3m,Lt E Formula_Derivatives-ExamplesX^3!oDCD1颶rf2PB^ X#W 86Uk، _Z pnD9' ֛\2lŇG3 ,\d 0=n#$0'q _Uz {"<r z%bQkq)I!zA:`)0Xos4Tt=]4Tek5B>bx\g%RG0WY]*Նծ~l*]gYZ7zXZִF! ~]ŗXiɟ1[pYP,lHwAvfC ٛ'?c~ܼy%΍mo"ĵBfSۛ tGmj"0뾗Dbnk٪qn8<ˮgA.C™'C$ce]SHE:I,NIMyL5)u9yNoBNy/ݹFN2:8?gYZ7zXZִF! L ]ŗXi%9#o2Dc}w}urF6h1ʇ96O%]7 \3kwy嘬~(X)--@\ gk3k>?FR 4D]exF $q6Nwt2sDȡ.UQ^68$uՁD]FaWSӺG傹%F_I SY&uіDS|1%] ݔwk 㶎j6m7 Um$♟[Jn7lt[ғU3qF6ӳm' I{/_Zmjgn|q  RmlӴVsJȼh!dV>aTB58b>b;FKܐ^ָK գ449pSFS+N}Z*ߺSNy:_o=V\LKS"aėfuʞ߶Lt<{.D*EɅd]9je@r'=ri~ngucߧwy{]}(r6 Oi$(.Ӓ e˂-Cӑ|Owh<#KfU ͢Rꅘ { qS˂,P@kCmØu%(݊@$al6[H %9A0eCPܰ_k kR3ΎyDi^JQ@&h|je!iёm biP9LpzTyoM }I(!4w><۶}h6!mYyN?bm $lp$G t(M%rna_ ~qrMmߖi#H&²D/fMIy!fg*ݒ>-\dGnST!4^aO5K1YTghVGdC9qKxyTXf^ nިZTx+a ȏB:t! ݱ*, 㗝ч&L:2 }Z[ 'DaP9pS0HŇbGbUy9_ï{5TǠMUσI fD i>#ρGvwgC)Jv4; X$Do;eFT l3!y0)AjyǹqߛCC--.CK M|.sU>K։MuWF8n x1\ ,^-^X̩:DPAg O#aO=0R(d+k69JB6%atbHJ3IqnPۮjerrXA`g6JjdGI԰Y(w [;]{hTӰDF^W4Ow{R85Rg(-nWact&PGߠ>=O~BϏ)N]`t<ʟCpGbtEy&AD0yxW/F:9[Bn RަWx8 ;=sӘ<0v pm*f"U`XњZFц-Rm9K%-@Eȍ&F+cY : ..K1)Wsb&ɳ&mWIN.kAәZ|C*9WvgS܁n U6S0 P?6w )k%nD yp\"HO$"zgRABK!*y28S3C!X}/ (06vI??iX,KH,Va%b %#W՟Cn{HdB%:ٗĄпUX 9:K&Nh>%oa]v@z ZAeh;Y, F?#U57*Gˉ&'Ih4T~{xD!aVoxBLqiMKY_fl7f>tek:0<寵R|!`8a{cW('r݆Heyvl vjjA"⃧U:ͅK*Ͻ;e4 Ҹ.ۭ;RCx = gYZ45eb5d4c50e2371c7d7f13987f5c0c45870b33ed8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 50d1bff3e1051db9d83aef67b982c5451fb707ee