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 s= T| ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.886cpu=27.020gc=1.452factor=3.437zXZִF! z]ŗXf1-q恈1`VnȆf ס@wp  қ@\]ϭ:2[cˬ8C %O`:f]7pɰǜ5^Oό}Q&X=>1SG>"9"*Qkj:X içYwr5UGX"҉),AK>‰M>ʹ=E/'˭ޗ/U~,ho,T!8VKԪڐ 4̂9kFcӱ@_QG$LpBa݌4P2w Sh\-\"np C7Sa_kYgx5O)M TX HAxt ׯRG x% GuQm{)%Vk)+cM+=mlKޓlL[q42jw܉ƫ>T~b#6> MN>K^72˚PJe8Yi D47-3/(qM_ iЈGkP%߶\DW0`@8 \w`}8$ fDZgYZ7zXZִF! ,u]ŗXi%BȿhI4$N|<4c?. ԩjRFϵXaEG i"9/laph[ 9} TB&~#X^X`6AWh*e%&~Ι$E-+8DT^czJl`i6J)U!JQ*V&׋XCqa+ul{PHh $­P] OU☗S)N IYm\׷m{#%ADˋVRx#\k+B)j:D j)i83hmcyu/$KT^Y+&e+MM`".XHtųC \q\Гj#NiɓZpwq ja7̏ !ϩ&zTW XK̭zzU}X-WLDswk:K:!,ַC+;:[D3Oazai YWgYZd609ecba5bc46d2f95ae7015bc8e2daabe713bfb95853d0653331ec14ed62a4d4bc81dab1230b932 cb6e029473a5a4e5efb81be3643a1e4640b2d25e 2b539084d7de6074301b0f4072eefdd065d557d2 d97cc6e4cace562cf0d8c48249714ae7b62cbe08d028338907833838493d6973ad24fd8e2168a09d = HOL-Nonstandard_Analysis