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 aaEL\ mS Formula_Derivatives-Examples:threads=2elapsed=59.252cpu=114.876gc=17.284factor=1.947zXZִF! (]ŗXf1-/6vRZKƯiWٙ*P59#;4GRwΊO3q4P0Dy,ۍp/hIZSup!U4|4OdLPJwQ+Mxs5 \A0q9KZQ [7܀Cstϫ%}K;xZ0NsRZnƍL>ٛ+=Pè Fx 1["(ER(-B[a*R-(] E Formula_Derivatives-Examples&ʉ BHޙ.L̽c-鏀 #gR V$ꐚAafU;.o1Dgo'i~2m>ÂI?J]H=!F,ѹ ǁ1ڷT.5K2'akbɺ'.|1`ht/O*4=@Q~ gYZ7zXZִF! _ ]ŗXi%VoҜ8 B~vFOT@N9;Jb4x7OPa|huVQ#DxoǦ|y8bsL&o<:娷F2[3Cʅw"/p>$-b'b?I#97I2B8R *(C${Hu5 Gݼ^j-߷ Cvšxm Ǚ8$y95‹%L5h#i\I pRPni4?v%I1u' `1R,:SM}O!?lFCbur]3+ INGטLMLsN*$E&MGȡAkay?-@:䤯qC}T+u~LpI6A͹(!0xoo :}eN(?r6Ҿ/F3Fcʳ l Su\yǕ!c!MGtˇG=MY9oWDpBL5%-w}; JQ Ne?sX\ӻ{LՄ65NY#{w,M;@"o4b(;$AҲ%cW))07B+B}}zPQP~=3:%Hw^*%?!cF@(QsIٷh#$$`(<KvMGcK}Gi;}C@*;KU&qvJڲLn n1.%]LOx)JL#Wp. P'y7ԣ9x `SN*dS{"ha[I/ r`[qo&~z)(R9Jn"皏aޛb <%!feaA>լּ_`0b, lcw9t-Jy"[nZ|??l ]0ƗzD'zIhL_K.@`eOc< `<{J5.H0^(= TA' fՈQֽ?sWk1.[|9̐~KF8̥J$:Z$?`,R*ssW؏~hb7z6drZ{l_TKfu~Q gݷ-KhRl0ƪ DO@֞ns&kZֽqH6W ʨ57QCشuuDC~"  OԆmxS˒ԁ#͟ߺLe-)NG{3~qrNT? BXtͯJĦ:*٩w9'/_ uɕoāP^𷍼xY\< 縆EJ+^5(L7:?°`ƫRʛ ǁ86fEW{[E,~&Ġ&,$i'[Q *رfR*.Lf: J ^T~ @OqZFwxcz)/3cv=+P5{:]uC$ÖZ:C3o_ܯ(?.؁GU<յ1Qn7PyFgN֤|*wP*= aD iŐ{+:}枟q`m?2<<,P+*e\/+).[ۨ7g]讁ʄPH+ŗԚ=PhbMkvΖ@T+6Ҟ= hڜ?w!Y4/qJܿxML[WkôOq;x@Ǹfb]D|#jN!W # )A9UgBmvggl Aad FHn!:qiv,)Gvy9KNΚK Sê4FoТ'cA0TT'틨Hdz^0#g55Ee0,Ҽ$0VF:ޠy f&(?ji#W&tGo߉bpYD^n]~+Ew5~=6V%p}yJ'K_<&"<5[㔵Z3[#*YB)4yP%=WKF>UZܒYV3N@C-ʤm(O$rqe4,lc VBkγk=_BX|Ҿr(ѸHOF|E`Rv+"qlr@L zH+2<=HMY ) }:cwtF?X]OrWz7Ut>`?]WxZ~19PSy ]iVIKL7۴f6n4