SQLite format 3@ - llB77#tableisabelle_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, "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| mS Formula_Derivatives-Examples:threads=2elapsed=62.790cpu=121.584gc=19.976factor=1.947zXZִF! ']ŗXf1-/6vRZKƯiWٙ*P59#;4G!L Ro竎T$h)B_烠шb%q=^- ea^!rᶕ(~ •58dnZ92|lgNrijrT)@>N-Ƣ+I E Formula_Derivatives-Examplesw+B*C ބf- }8{S-W$n'%Q B_X2#˚'!S5+I^VbZcӁ;e{*|#~M&^uT{)GO}wVw<ӿ5O6FOIVu1a>!N!Рý 2Ln4jnBlَyQm7{'5UOWgYZ7zXZִF! . x]ŗXi%DQboiQU(`u7?EPU:beoC5-6e89k\Siӈ?<ӴpX(+Kdu$E8 CĻ;\r~5#¨:"# Ʌ{ݗ(R*ǖ`=9-VҦNAi#}DdA>,x"BчpU7B2A,aOأ,U6~{n>11hfb(ˇ+Ɨrqчl[DG)p U`AlE N 8&j``:#,\yD7Eו{c-[Y;%Q҂ǣUC4m24f,,\K,I0A&HLC\0W;pmErv&r-T >,!Nن?&Ob|e"/wqPMMS -OmYYܴx{VW|h ]:@q:? Gld.\GAtm#Oyh9ofɒd H ~\tys񞥒٧'Xx_~KוqSW,Rrz 줍oozjh,?6"\{X;J{dAS^&Iuf&.Xl (nL:JM,tn Klx4Y+"62d>$}\phN3I홖 p yeL@e)r+fO~ s ߍٳ\I]CBm#ޤr R|-yU3q^֍p2[iOЕ[#>R8#ΨF~jS =l%?F.ӹf%*yICN-MY`uDAN @L@-M{:hs~Ii [٭̫&XS;cvuW(e 'b܄M+CV?dv߈m.{M}^siTʐ4*ưVע geeh p(MWddbU31vS;VB٘ovI>XŽ֙;wt"tTW$9PUޛ`;Tkƫ-bNŽFhSEmfeN 2AŏHd<2+4lVJ?>F4dUXg>l41ॻ҉ [YРwt%Ya{/NT_6 `(_ⵌiQu&}§_V(ɵ%QB²Ձ$"ZA: EKPĘ(Y (CΝO;B=>Q,b1x020 O󡦍=3pX>Qxۗ?z"枞+^,pETpHf/ʦw]*n@n$ui+O=Tv^Ш_`; :}Ç3\(&`Q̝e9)+,(}}8eZ[4)oDr 1QvϿU5@SUt[b]\{0N;Q,_@'p?rj]d_M3thGi[47ɣ&5x40|K..jzjZP"%y'*i`1@f!Z0մxT LތxCA_pn6#lr jj >!ڃ~._!,yB%fy<ʎ'!( o5(WiVD8} o 'C bjΫ}M{ Vrz$1)OT%&fBf* KQu!+jI }VZ>֑&P}\C!.hٔyo\@RbATvqˏ26#+w+T=trR_sBɵ (LjO DsR= S=>%2Hre^b:2YVjUI$YϴHUir K(0hyci/0jEk= Ǵku.b2 TN]`rGƮ:y!^0v })b$єS LZ, "HގGq{֟GO@)ŔMeTBd*feߨC6:}QhoMՋX@x+mo'kفI[Ɋ;dRKk򪊿[IAX+5>_gYZ3122c5b55089566c74375976fd6040cc34c326db 341531b0bebdfca12e3ae785af273096df594f93 429952f9b1ab48f5480776e72dd795c832ab4fd6 59b2dc7b422924b1b9bdf7f2de4adf9c5084d0d2 94757edc202a3b3edfc8ed89da5c3c332210b7f7 a4bce5200f82de2838e35790681756b11144e8f9 cf0eb34815c10b600e671c786585de3d3713e6fc e49c7b34ef5bcbd6834a0da9691127de42c64b3f fea7158051630eb66cdc375d33bd3cd56c76f8de7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 5c50fff35e48300ff10062e832c26a132060085f 468fbae90855f4cac1cb73836e9995c4293dfc3b