SQLite format 3@ . BBh77otableisabelle_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  w w~ED<, ]S Formula_Derivatives-Examples:threads=2elapsed=65.499cpu=118.428gc=14.388factor=1.817zXZִF! Y]ŗXf1-/6vRZKƯiWٙ*P59#;Ջ+yXx6T'@#īc_RP'IdEn~ԡ "f9:a 7]xmrEJmr$3Q{{WWßȁ[z"}NF.aNt'uhȵ:P_릟/cŸbt~?%0 n0G@8l%, o۾2 B:V&>Z+A߻B+1Һb!ߞϮ:kBƥaRjxKR $fDbP$I4R; S K}V.%b0+AwNۻА"q\v{Lۇ2jmSduA¿ciV?d'jsP;r E Formula_Derivatives-ExamplesIMkQ?Ll"fq uT;eFX . l]}a}E^~ g!H'ӫ RyRYmn 4)gYZ7zXZִF! ~]ŗXiɟ1[pYP,lHwAvfC ٛ'?c~ܼyCm Rz}d }e6400L 9*PwV",|V.&Q&AP.8Xu#ya7 qe)ҫ,4*+z껹sBNO]/k"RA %ڇC_8Lzk`E@:ncBRcgYZ7zXZִF! ~ P]ŗXi%9(PKVMQ%]I gi QQo@6_49f23\Մ/\b ݖH:M!BqAZj_W k Kg/2[oR-[χAw)QtT+uel?.bj - <͏)L^(/?=d7Y {jssS a#i8&98ϓAMHN&靤-u04?\EiQԓbqg\/.!f+ԝ|&xgw\ggrR$bl/d`aX%v28L$%8 FG$~8VPΒE_VeծzWZ\"VwX"Vf|-?K0[쑯Í7k 6.i|toՁ \pֲ~UƦ$b-6])?g- %>;שl3'B\ >3+$|J~3N<\RG5{yss=nUGSԛCpKUy:TTӚd\sf/*kn6 / dY2G"[M\ao8qqv$}"! $p^#=%;!. %mឧ_yBd~G?f YJugl;CuA/^ɀҵ&\ t˃VZHOUkaRWf6_a* Gwͮn,?P.Di}(-ٺj*d()0jp/P =SB4 59ERd0]G1g ęe~p1 R?OEXS:"FCzJO 9\-9<4s Z-=soͽ<%  =k< t{#DvJ VV>3d&ayo Noy;V6?.bҴTb$',ŗRtƷ&&7G_^auF]2 9u^%fl S7ϧKfLH逳u \&{:-mk тzk53kKzʪ4v߰wwL $M_PP:7Xefc3,0͙%|"ޮB4h ZW *w1˭b W\gaS3(?eC i4`O\&5"uV*V،gM< ]Rema(Sp~|n`7bԤgM ÐV#P+ȡz%+iλiRZDG鉫tt} (7xeB{4Gw翀#YYdzzD0ZClgYZ7ac4db66b7589fe1db8135c3214acafd5771e2fd620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 b289b2d35e21bab3230d78ec88be7bd1d162c47f f8211b17645c29475dafbb8b44bcb411109d6b3f