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 P) < %/ ClockSynchInst:threads=2elapsed=3.818cpu=7.480gc=0.096factor=1.967zXZִF ) ClockSynchInst! 2]ŗXf1-/6vRZysB N^WG!mQ^|k ;GZ<&Z0QΠ ~aÇbH@"Βb?xv4X)wgY"5 ;6G~C`'3t~g`(imC6➢3ˈ9TR@`Tո iX34pd0kg{kW>mjTi>%r>( Y$D4Ѣk0,8Ƞ"=^up2RcCMoTpVT>N].RFLVhU^MK^d]h c!{ t!6;0딹xk5 y&dOD,KA~ Ȗr1F!3tf_5.wK*4belSQJ fvKZ%<[#"}+gg5%VtE`&Q,uTdI`qum(!ê!V/ׇ:`TçtcD9U"2nNNGSai(˒EB]V3=l T0uEz2t+F@4S7[SZH0)[o#QyZUelgYZ7zXZִF! ?]ŗXi%B׆`Ϳ( CpT 7Ld9D="D'?mFu:۞袋`)KR >Luh[(2ȫ,E\$ϫ,'SGU/dNطowza>57CTPZCc.w"FCň CO.V{.:* QP<p$>Fgx\shij[B.X %{7)Lv&l60K~YߣUY.Ķ3ös=|SZɟ>m7u{?hv-sQ=OTmR|Sob K/}EEo~N͓K=™:X}X t*9a #b WWtWQX(C md~2pKЈh[K71خ*L-Ǭ)R$0M. A˩T8E])nƭOκu+XM֗kO$3m!x*Hx CL)9gcؚDi"gOF>]]j\Nsa4 Tǥ}J`7La y)eh!Df>5+,<<ѱgYZ1ada44196f0f092a73f7cf05d193818482d6283d 1c73eea94aeeee4ed1379b7fc85cb8af4357a08c 4fe8894e0f87c582c785bbbd6e1767f74071337f f0827bd66ec30d76f4db5a9addd865d6a43e28f2 f7db7027cc58844d349ac0b268fa4cc976f995fad7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295