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 k= $TL ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.726cpu=22.368gc=1.036factor=2.907zXZִF!  ]ŗXf1-q恈1`VnȆf ס@wp  қ@\]{f u}bB70.PՐJJ|kBBaȅ&5xSд9I׶_c2epAƒru.<ɀ3x._[@׸4C}~]|m@R ㎙>5`oIP0㠬d-$8Yu~a~)!TQܪE߿ ҾԱgYZ7zXZִF! b]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>$LlFn6k:@QE%1K 5d~&ĨZ!ϥ~(";/7>X(C5ȎHc&]-(7ح9:+Cʪ`K>ZpO8Bta|ӻbWu-Nt0\wTM0*g*o4l̲+JmQ ^SMZ1L&ߍ4Ͳ#W߹ʒ{(Q(3K #. Oн߾iknzM굯kJuJ?? w;Ez52 J gYZ7zXZִF! %`]ŗXi%96X:VIS!Mby Rwz'zg($ռ)u¨}<rdA?QaUO9OMɞ?S%p(fO=6jX#:n1ffiܾlɧ̤|h,sјO < 鞃7ENP3q-daZI2l.0[x:`!Jj ?7ǍQc djoa/ÑP$]dL:%47`r,atNxavsP9'@o)RpmQ/65JܔJ]i,C3Ͻ6~?hT6F"fT:ԯeEW"~zxaikkQG.1 q @B2z/w!Vꈙs-l@&ilGRRny `9OzսcU | l&_|.ݸN"AZrar?:Cibw)kYar008JAj+Y пGG\u `|z-e[T#gA;2Fq23=t1s4=o*Ui} ~K_HŅndZk>N`B+@LdjM]jhBUg< b&q\ѤfW< x)f$!jmw %$Ɉ:|,bs G{`~){JAPOSdKK赱gYZc26facbb2e04f95a61403c863fb6fe1286a7ef3d6ae1a84ef57c6bbf74a3f57a85a1826e7af5b405 b8ee4f468bb95a631fa62beebd399286b04c8e85 737694e1bb48c4c9ed94ab728fdc9b375d4b19e0 9ebfd4397781efde9487b7e5997bb58453e7ae7b58daf3e3d1896d68bc5bd4e6e91208fe1e61051a = HOL-Nonstandard_Analysis