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   v <<$ ]/]ZF-Induct:threads=6elapsed=3.250cpu=11.084gc=0.404factor=3.417zXZִF! c]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb Nݦ f|]Q}a'bmDԡZX{Ǭ̎{ {H+?zXbZ|iybַ ØT~W*wQ 3FjY yKk8A gl 2SZD];ȭ=UZz!8'gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|ǪvrدTy0]~B v)6DOY跸F ,Jn)HHpo5rKפ*$weYH(* z1/Bu9a&mV?n.IwfX+)S3[r<(sfT~~.¡_@P9505F&.лč+,4#2-59L' I-gYZ7zXZִF! I]ŗXi%;LT&vÐtkNgxά>4pT$Y>? 켣@Cb٥2g@;5-98l牳8;&{L,Ђ?)함Og.ɛ/ex(2{< *wAy>qI:s25:%XيCpYʻ%0Yt9O(H5l%ZOL9F:[ ,5bݰh`o~O?~ɪ" ҢT,[ݱ\Xm+)[h8%V#E`Ή88NuZZ!0~ETlOxP̮7k %'<-a+>խZҫFI)hUkVEgwN'YRFQTŋnP7k`ożoog~JG:+*}5NaK6KlNxn穗5l⃬/EcyES ̲^6go@1:G2خ)Z.[%֗nu4ޮފ8x0ewn÷eNJ'v'SS)%zX"gYZf11ea031cd031d7bd30bfc685a78bfd554a81d85c36d8f85a99ddc5a1f0d4a78ada7dd9bcbc5bdff 2fd801175e1ec8af21e2743e464ce201268c2e085fbad2009c90ff56439d7b0fcd00873c804ed6c5   ZF-Induct