SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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   xOT<< ]% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.907cpu=3.968gc=0.140factor=2.087zXZִF! ]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYkB(' }7 M(}7.FMBn$:IƏ(Ϛ#m̤O_?K N 3wgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.897cpu=1.672gc=0.000EF8w_,}YZ7zXZִF! ]ŗXi%> b 2{O"8d`T\Lfꢊy'4WH+DODU:bg@LmXHup.՘D3Fp{g  #Fm'8v%כayU #'юR6B[I0/uLH=̶`Λ;|+J$ LUY`W[,LчI E/Ǐ%\ RaݐgRk<#Ȩih$ک@-5]׆^q-?36_9yJ\"XR" [\i!,HQB J0ą@&elW`>^[s<;F)t^8&|ba>5trQڽ&4Zk'+*߱&q*Cnh $j//Lœl團hf5i)2%gYZf9f2ec840cff8b9d89ba9f69d844cbe86507957591654f4d47736227ca5d0c587bac104f80bcf18b cefe1a1c8d8ccb79dbee55a881d829917092bf29 a9f7bc9322ed28390dd1b938fca489f9a15f93f3 833ac90dddda96fe8e823b79a36d1a3be35832cf 8ed500d3d4b5580ae3d5ad4001cc159d5be36084 $O HOL-Nonstandard_Analysis-Examples