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 hh < ]/]HOL-Word:threads=6elapsed=8.740cpu=39.736gc=1.472factor=4.557zXZִF! X]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yy2gĤ3Fz/G#8c-]@wun&D@bk)4WX(z&ҳ?wG j -ʝk2i+K/tMAy^ JJEn6P??.$>I;u}31 sC/O܍~lPieԊ-5"c2oȈEzHlS> Va] O` x+̣{2|AL3$yyG>l.7?zn61$Cb<:( _Ւ,V(pdluGF)k>FP\ۅA6] 1f`EF3N='T2_-OXS}3i - e ]KYK;| P^Du8qߛP>j=HF?"%|2}N}Ñ.|rh+%fG%oXͩ%L=pe픦`A M'/ IcPMo{6}ޮw}Ȉcյ=␮Z{ͅu"KiPsc@ 9B 8ugYZ7zXZִF! *]ŗXi%94j3ξu_eqq)&Tˠ.A)4AO=5/7C:K:L٘ Fקn(ja Fd4Pp/~>\\o7̬:?߅VVq SUiZNĦDo:-F 56.^2(6[$,II;-[12aˢ5<+^ B(?^Zu5"21 Qo:s. PNLd~6ub&*qEfI*j(I C˺NSD z)elW_BJKqH1CtnA^^LJۑ"Nd6-A#2`^dыUh69H~olK፽ tAPC7u1v;$P\z&?'iz l,T:т7FqEQUcHm[ ʝ)^DG{O@]RA7(+x3uEh2)Dc>N]<|"4wr}PS-Ȟ{^@Q-TYC4zH~~L҂֦