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  1Ed mS Formula_Derivatives-Examples:threads=2elapsed=57.608cpu=108.076gc=14.200factor=1.887zXZִF! 'v]ŗXf1-/6vRZKƯiWٙ*P59#;4GJaֵ1[U)TYY!drQ仕"- :AP2LI/v]wW&d.}њߘyx\@vT F.A;zd2;Ɲj@wU-{ъju&|?%≒~G_YI&P0ׂ:DLb^g>&bER$[hef5M$TBQ))Ut†s@ ` E Formula_Derivatives-ExamplesȋdCwdYe[O;e'6 YS anpxt2Ty;%% lgsY+W%@,` =~]1/7UJBDhuSJ7&>/B8#ɬzr=L>ISіZCvY=\? TH 8L+!$J4Eh!c7ハaO'!^x!S;=38 !OFhd QR;!k @˚6LY9,e9&%!.;Ly(*&?قkya,)v n.#ZeJfҽ'aШ Rcsf! /~A`%,_][;F̷?m ]b&  Ni^5I^Ȳk5BJ㶮}N "}mBH6`"iaja"(-&rJzϪeD$%$Q]VPlAL&r$ r`hD,&%SUH+$Df[{߹ڋ! hU[w6ب="h/I/>=q ʣqv޽ \<ʒ\{;R{)*'vTaN8T~w#Gy )W#ltбdtm{ %H,72 ,赩L]TC%_;XA= `,mbB$7?:p[(X53! PY +57tM6V\-e!Kg/R~F"B9/uFC傪A42?M!8j14KeD:|+%PX I'h<Sq{|{#dT͢K߽?; ߶s>jAZ_r%'޸-r~X?[3R"VAP<04Qoo P ^1=G5,A1xg֝!ȧ,1?4lKo6&h\4r9!Ef4P]-6Bsimp-|-NyX@շI7$PbS<3Nuë]cD r3ޡ<']QshXEz +okD a֤f,0{EKM:$`1Ԣc]!`ab7 4f}nOunPiz(<Vr`/5Z5jQcQ !cp9 uhy{ 4֗J,pzSf꣎b Ck]->( )<OnBҽ.ϐuJ?ve3ܳsG-Wd|f7!,h& />tp2u>XػkW3tS|4"MP hG. _dT`EYvbJ #Fie;V;%GVpfw{HG! Å%ԇ>}G)L3q,PbO+\xr+(Ƙ&坓z"ǤIiQnD!àbmOEݼꙍ496EAqK^+_[70Wz+ F݈c%RXZffn RR9jcr(\>//^`7iH(^f-9308]y'H]CY<-Beӱ_%UXNْTBǂW"fK& /"-z4{)<Ҡ-T:[8Y7~3ovDt#k?\`IڍS?#ǮvEZk[ I=f`bE{-R )j~ㅨ_Y$ 1~f?Ʊ!s$&-8o b|[FEsctE*#B})LUzFk\CQ9n@'5)#lL- &e4'簫ƮaaM)kS4֌aw)CIH~h ᗧMτ.U㢄6G%ڵ+2l-f `$@zns2p?Ɓ~KF󏇾O::yxmh-HEjfJs*,hAkb*n1M=ߜ.S>L+<c?\Ӂ@ߩǠƢ@nX<35kꤳVos(8 浸)F 7Mdd.a`fMK@K@A$m(4eΦ#qBpS<,<:)? 刍@w֒ChkN*zl8jȥxL@&k.aD9E>%KUM+G址#v$w:} F@#"tyx&T`TaWCyY.h§*[L(B