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   s= D\4 ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.079cpu=22.360gc=0.996factor=2.777zXZִF! v]ŗXf1-q恈1`VnȆf ס@wp  қ@\]{f u}bB70.X$ V' !RJaSx@,aQҗZ>3N? +$Dm'MP1KM8eeP'|#K%(E3r_*s秈PL 3CgO jDETi^-|8ΚB7F ^l,(2,NsnMYt)Oy(I٢w*lO,tmv™ٳ g4:CShAy6眅LøkHuA|l@rҀƯ%I |$f-N>.Ț>v?>/}ͯe G}kq GYǖLsbF8O`&6%}}Sg2 ydWK> v6mu =1ێ1aBI2V>!'P6!Zj2^`W?z6j /O0fd'L$4*h;pqQ{g/.@>>P$H%DFuH+)~<3 $ٔ¦LҔ2Z;Bxq$ݢ3h-n ̩}k09qM.%cJ:vVMEs\cȡf*d)D8AUIr5)#~q(+A=8K_ GjnOb>{#Ѐ8jZy'kvN֝';+=;R +2ka]iNK)M|P:U~$TL=jWQP@߷gYZa23f6d0d7b878e9a929c8cb7bdc2e435f65cab9f4842c8e44f35b38e84e7496d28f4c0448c77e9a2 424fbbb4dc49c5f9da5fd81c78ab3b2f35a10efb b24a626926d116f90b05bb3fec45e8af4a1681fd a1b9408ff9e9aa10f8cf294956aa01a99b949483bcfffb0d5af62f2d5615828393ceedf16b0e11bb = HOL-Nonstandard_Analysis