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 ""[E4, ]S Formula_Derivatives-Examples:threads=2elapsed=55.450cpu=100.268gc=9.896factor=1.817zXZִF! R]ŗXf1-/6vRZKƯiWٙ*P59#;Ջ+yXx6T'@#īc_RP'IdEn~ԡiG#sġ\{茸>7+ VJFN)Wufv23-dHy.eAmkn\u}-HIHv,Xt?:)ָrCn^Tao9D<2鎴eP]x͡XZ b%(Aں(Xk|c, Ja`HI变f H _bE'?D@moCBCEC淪4i\jςx߭F dZ i܍,VښN]Pens'GK/5+mg)W-NIo*_ xɃ0b*a?)2}*&'h qi[qMާm>LeH\ub?;{$?L"xJo3N{?M3#Pos>B#&6&w)p$gYZ7zXZִF! ]ŗXi%60nt_^Q͜14ȷ4XA899Q 4qV:K]"I  ,냸 p_ \S`>N.}l;rtT,Tyݬq'k׼=p-n|/Br#hÉ9/'瑛ً&&0-UWmK7 ! X;Jz/c++<z.Oh<PO\Cm0McΦb ѣ B69-]J2#+}`5;2Bl ʐ>S,cP>k<xE@d+A՗ 'e?vvmpk@blaϱ x?J[^)n閩]M~Ay:`Sv(3,\fg&k!kWZ/j{6kC;R#~ w3S#dTISl dxg;q!B!c*KG}G\{ RYj)='x M`P_ J GoYwDu` 0wrl=Vc [XMTm^z5 YtwA\T~(CMM5ꗢF"us2f@LWcd& ZL3N ?Nc*KjIgcN"pgF'VEPWJO[7Y%N~[{ē@%`R7b$~)84}w20;>A=K*,>S>5PUªS$T/tOCh^K"ԔҒ-$ 0!w^/yGA%φl%KYg&0N:[v\Wmf_QrFi+nweٹKj!|gJ6X0HW 3YZoǯOd.)*pr-0h?I_]ҡ 97p*Hg: upwIJ T9~i0 ku6cBv">SkEacXGn67q2YqsARS ¬ Hܜ%j-j3fW+`bh7$D8A^e֧g7f54fF:w^ X?4LRY~aTmFd , Z|ǂr[wQ3&Q X$c_}6Jv$*`]>S̗G`6@AB :[۝ x\J$fJHO\#݉ve;i{#Gc;ml vd۷5>6CuR&Kr9|W%MkAz~R"8s4@cU6!_{o<<ȃâé8=:%:eѨȘwI"RS6ppΟi<^gQf+FU-Y\|SEݣs5 "bUdKfMm8-(7 rvρE#)LsԨPL chWH{`/fM~#bМ6jPh{d3\v.ㄔjY:yE|Z3;b3!MToN2888UPұQ]s͂X?Q")Kš(gf \XP_b=9 yo/!g[9#L/*,+teJ\ owIb<ݜԳČfS=Sa.8x [Y>eHk 'H^e1k{CZ|@mAC/W%qT4f>HI }-m5z2F*e ݸǘr7go$bȂ*YYU `7DgvԦD qLϫn'xƇ>~z;u:>' u2{xm@ߘb S:Kwrv˚gvc[1N*o> ژ *MNQqZsJκp\/6sH`+R{Y08߯Ÿύumk;Z6^%|i1+#[XY*?Q@v+ Y\5ow0wX%IS&SQLK?Zi0M %~&<:c5Z57AgYZ09558d503ee9ffbaaabb753152d53eac12a6bd6fe3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d ff72f89ccdd74b2c8ce98f2c903c8f09262cbb93 E Formula_Derivatives-Examples