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 77:+ dl I]Sqrt_Babylonian:threads=2elapsed=14.740cpu=24.432gc=0.584factor=1.667zXZִF! 8k]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'02A;ZQ-{1$j+DAk nӾ{{+i,QPfZT*ʓ]B2Wr y.QȻ9z͜!RG}Tqpg_%- YR#cj^!j' 6r!;m@;?F٬Of5g4jL!Ү.1.! gdwpWޮg$VكIL-Z+L.?a?d(_M MlG6 w>n}O9#4L1u89#Y %Me}.jE[^_WVAϡR5cͳAhIӦ|e](J fǼE>mM4 î<(@O6qkS/bcO6[MOVxY)"tB,/NN @ + Sqrt_Babylonian`ogOs*ϝ"癜M䞢LĦXc`s ͅj7~$/d?6JG_ࣲ <߸(ZgZn=Q6e?ĬNiǑ(w@6Fb /Us޶>O{W,;Dhl5Ų1F \E/>ApT4s~qi!';ȑ[ؑ!{4VToMeyqoGk೩ q) gYZ7zXZִF! R:]ŗXi%Bdqk 7ln*[֟m:%'iem<lp[:m |"`nԷwW7y\xM6Z?<ٜf9<8 xit*&#ޖY-PӐ/~de^<`>e5 ”OWYfC!mX]u{BAvP ~`o㨹~U3aބP3ƼP."bkYnz->((ݳC+!hraiswDja)b B |}ޢrrU :p:`6qѿ3`^[h5F=6 (2A  k >&lʶ%s <„d4@l7nOLaAOZ7NDVIӣo7iS*+ \tɰښP.&X}׍UH6U&cxL9ʫ7Ɉ@y54#`KӕY6Xԃ<p m %ۜl$@UjÿLd$1f2? oi]7+&GmN#VZOd8 L.iobN֬O;Ne^O(1u>TtD}^0;T*k =GG !jo+fR*Q96 {B^W֫6u.EEg38: ڑ<4жlʱ̣[L#Vo5n eуO],MRܚoƌnJ ) 7 UsgYZ30bb572f70dbc9e84164316c4e3bbe24d4073853 5c40fa8259059f4cdea292a4f13c6d2ebd3ee91d 942048c211146fca0ed89d8bc8c594e9750c1b8d 9f9c809496c43e458557929e05501a0e473845af be3f57299b27044d9a95701a925c40d17b38a3d9 c0b968d23a82977de5c5376fdc0961634308f36b e50f1ad0461a0cc5eef9499a50b1a89e372d0ba0d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 585c029a45941d0fc77f0b9f9c02f2085a925885e58004ad26b9bbe6c70910af7229b409add5871b