SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 = d\, ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.143cpu=31.876gc=1.748factor=4.467zXZִF! !)]ŗXf1-q恈1`VnȆf ס@wp  қ@\Y|I ] Ha`c<4mπC 7JEU^&+pg4s-i)orYU? hBSMqQzkof6x>V5*I pFDO}oʤ?>~W0}j/wȷZc|n* bw@xY ރ{ nt₩~f.LKn׉Dl4ȏ!=]J`$6!Y?\ ]}KqA:ap̀e8 (!tZ+TWWRlrqĵ$'6̥꽹XMiܓdӢ/=!,ϡC8L;;8E)V`}}#aքCX93g$ |/mu&=1C a6{ 0  Qǹ^WDKKv>CrO@LB)wS*^7j}nzT`(z+Ô6z V`M35ldS'I )d!#Ņl_C~ 4ǖqP~=a%pz4$W3N,Sj b1?ױAVI<]v1:KO4D\E, B%̝Lepk1 Վo(-s_78Tq} ŻqNu'QoJd&+;SYgY t?f T$T V8Մ"_ \}!=vU1)1g]::O yzf.B=2"Kd~4GcΗDo>ww>ZqӏY!7H&c`yc$";`fG;j&䒞kGw;R흇>hɢJ9^yQؤ]Y;rZZs S+' `m SLI-dgOM{(QM 8a,-+[ ij]hRVa"_!&1{ $hr{Ew0>Z"t:û|3J5bQTx48 kn}T-{~#GSWlȱgYZ79e9a4152bea984550abc175e17adde2245c9a32a0f0a66fe4b4e42af65fbafc96b4437732b5beb9 5df07e4c8a7f31eb67d22158450f815fe237af54 bd86be0c8e967ab90dc13df4c1e474b74a201ec8 e08a7252a5185a49e99ce89d9cb3e9a5625416e018ee2d97daae735b9bfdcc9783bdcbb61bc9f5da = HOL-Nonstandard_Analysis