SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ^E,< ]S Formula_Derivatives-Examples:threads=4elapsed=33.611cpu=102.500gc=19.464factor=3.057zXZִF! ]ŗXf[&QͫВO(KBCbd$%sqc^=D.IN6/@[Ħh%p;?"\׼LSn nݻĬDݒ:x~@̡2᧚< btfmH\1rɉcU= FXϕixc2}=LD.#tzZhE?VfaAR/i š T[ر.mG7Dev:d\tF)#iw$ز&-n -J$>^tdS` ְvLZ)]˧Qܯq"uq4)ԞhS_$4|u>$igP@-֮G."=Z BЎDtԤ@:)p޴[]+8" ;O bLp8ldWЊ qڍgYZ7zXZִF! ]ŗXiɟ1[pYP,lHwAvTrHkRkf 9gF!2^>ɣt/6wMJIEƶ():0s %fF__nx\qxpttNw-/#$c? $Ŧun9S `xA YT.;SIzL(n}@C\^Ϭ=3;XzWfҤgYZ7zXZִF! d]ŗXi%B4!?: ᚱP1aVΜS]j*.Õ%v؍&#Q QFo[IQe6#0Jz>0Ѳ]BU~ZXfˑ9BuV>t#A'k~p&,FA,Sx{,bqRg t2ʁ'ZNsB 34$nv6 dRm9.YHXs੬–T7O2<$)vG==7U8/V̧a`S3t&:`\ZUN=PƙE! uI Vg 6ZM4* X{J4RBꛬTTA:X00v9S tz#x ϒvf9du0@ &)&m],qPGDd28te|2A+кRjWX-Yޮy$J=/@tΕc,'`8W4" 5g=+(bz5 n~Ye@,+Ȫ[aFQ~W ,‟=BNO٘d;_KW2l5! mDoesjN}aل$r8:ir ݉2-p@K/]ʖ8l,jWQRϏ9:a;鿤%ߵ.?$[цJM.h6uGf) i̽,Y`VFJX$חZXm`]#`heqn/0^2CCan!>|H*DJ&&LB$g4wh4O& 4/izkIiװS_ɉ.i?k:L.̀`] W6ˋKeJ,@pTr{K*T:룖$RjB5zcWTu0"a*\Az 2*1#׭߾35sqJlQg>E34L~go(4>ح$q-#Ր '/A,S"#O(uW Tk֬$L\&!U;ҿdoA0sjQk nax}tg-thbx.{YXq#ŨX6cm}2'T 9(袁_|H2x z2CAe:UWrBID5A`$C#5<`f|S*/<Lm (M""gǠm,E΂ܹ56㒉(^mΒcwk운RXȄ 'c +aG(_}pw:mrE^ն,_K^f+ #dgy=vҧm3M8SO=q2ރΡQ,\-i8–ǎKm4mw&QO߿|BmAZJ/@.S3 1aj IƬqjު<9-۷39 (fm2e.yP \?!0-xnDAmF(rv!n LjaLlȆG"NDd,޶(0>͠SrYtnHo&Lgt5AŦrp׌Fi?tiW8vg@iie=lalزsT)= 9&:٤sEgӼXť`^ 75IgYZaad39c83bbebd9c66e02b6a6eaa106b327acb10b9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c a8554939b461f0033caec6bed92cbeba5a392746 E Formula_Derivatives-Examples