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.935cpu=120.972gc=17.716factor=1. E Formula_Derivatives-Examples927zXZִF! )v]ŗXf1-/6vRZKƯiWٙ*P59#;4GmuT,M?;eLqjΊ ۬5$t1Cmo7:CDpWYloz{t&UjƚTo4,gh`(TnT,5ϧf)Ġ`~'Gru0ښ&3=W|F-c [X;Qg$7Es7w O&2&>$wiXyhs ӹx2=6bƜ€FgҦō(^b(aRqdWq6A5??%BbghNBp9nspku*"5 }Ň7P6un7Bp%zB.ɳL,c~9͉xXRhFSʤCh:;?FŸp%=ɳgBRBփ^(S_9J4Q0L%PԔQ$ؤ9k%[_M$}$b`QUgҲf ret)hcT[k:#PpG4I +T$ svP'{tV'֬z @)$|Fl^K [4\-&Yg6Hـ?pV <.dعKQ9\K}YvpPa6-D4py@u֎&)" erJ$+U $1UIzHS^+#3,=}ʏM!ϔ5ʂvo^!Ӥ9:I(DJL*?tg{9SNCy߬5/cEy'pX:^=t Oy.OKEn?K/.3=1]J %uq5a$,##8@MlǺ(kw );ߊ>ŲD1DR]'GnEg!K SSE,FiϺdZPrs/Z2*V)E;]Se{Ŕ ݅ f/U~,oc/ >zHfN9X ,5ӅMQ۔L0 3MDRASe t/Ͳ9BlX%udt@U)mcYZ]K[Kcyp?KǴL]cX6|rծ/ʺAQ漍-VzeΌ>)Hp&ύw7T'@ \hGCUhԩ_]MAIn UtZ @wW$k{v:vwww/w_ܙ~d'}#`YFʊ)Z `yUwx97rFG%Fi}D ]ܠ#Cʫ$scuF(ߑq"ӷZa^=˰Տ/W䞹7 9Xڄ]ƨrxVUf| Dwd-žO]x?4A؏^_Ϝ#.dHJ4Vz +'s EBBX~ .o_0"%Zɚ'ZUʐNүyBKfv/߉kI&glIzRm;rGEv1|Ei-#G\|]aul{|I~\kj($9k5= ݋&yuaMt2_6nhu=uk4NxDrF^9@y*rVPSK84,n>X׺|ՄN457-tG8*V HE}:,N*\ ҌR:&ݟʋdX,ƹZޅM zGXVF7(oQ~&+aG-*g$Y{]Z?[Ӽ)D#:~oEf+ W|^f-3Zz/dgPōߘrswFd$M(BNPo’;6xWbR<_G,N%[>tѕGT Bk;dd Ȥ4\VE7 +?[c .Q6 0=LQ $ucg'T%zIM|E5$]$T#G P[o ͚#$n-'@)nKm}\3췚&Ql܄] {[0cV-LdcIR2U'"SPYQ@l@ռq{&F0 W ކ!ǔhѣyQƱ 1z“?]hZ#Vl`mzǜvfGr/5`wHjࢱq=]?}>NwrTāsWwCq8J8„ I*:ve"9r Pv)t_ۮ 1%/HSRR3RB|d#2pBl.BŗŤ/# n!tt!ӰK U7&wKcX/3iJ֖?aGlEkSzӪ۱r9z Qu1'FYIF?ʑsbw*y׌jkQ&oޡcoa1_~Tև= j4ui k{3Q|n;"//^ENΪ} !xمG"ݱ sѠ!w;xeuB] $hf\LxTڦ?zCXA#yQ Ix0s˭>&D T3 B9c^oe0SŬ\*u"D/Dq'`4oӾ"`}Ώ zCbjI5<@no2덟~tO"4Vӓ6j{8x.5\uUӢg"i"sFz"sc2VR(gYZ3122c5b55089566c74375976fd6040cc34c326db 341531b0bebdfca12e3ae785af273096df594f93 429952f9b1ab48f5480776e72dd795c832ab4fd6 59b2dc7b422924b1b9bdf7f2de4adf9c5084d0d2 94757edc202a3b3edfc8ed89da5c3c332210b7f7 a4bce5200f82de2838e35790681756b11144e8f9 cf0eb34815c10b600e671c786585de3d3713e6fc e49c7b34ef5bcbd6834a0da9691127de42c64b3f fea7158051630eb66cdc375d33bd3cd56c76f8de07addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 2c8670420f1e217147d01cec9bd2eec9fdce3aa3 2cd6c54ed1ff3deaaa72fbdce5f322d577e27368