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 = ld, ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.126cpu=31.652gc=1.676factor=4.447zXZִF! -]ŗXf1-q恈1`VnȆf ס@wp  қ@\Y|I ] Ha`c<6/UjKD lETY؁Ftmz#G3l"p GX4͍C!5>".Th4!Vpu s\J Aa|J3Iim.EU 1ZJլts:]g ).n2 QlvCjXVƱu>﷦(/nZM.Ć %ƈ-,6wZ֤n p)"]yiv>xp5缜44`,j'xzY;qeev!7{;ÌgzQJpf/mCMZyqWqSC&˥BS,4ю +kؙɽmiCW g‚u_#Չ3ё6|۪jw]#X;gYZ7zXZִF! k]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>B)wᲑ -d~^v]oDk.zwZ9wL=j6$һq* Ze@Hrv8'υو16@ip 6ĹǤ~LOgnuwbYG8=Z1mYh, L!EI;^/zq%'`|Xbƣ iseڅQ]xȆɜTʜDX 1~HxT2ApxNyo) 3[s%hhM=o4 :,쳂i{tG,1\pK^KD6TJ5M~j1Ӡ<@r[_rnC$2Yת2r!/ 0K1T[RSXgYZcba724a59354ac9ac28e5ecd23313be3c4b97be8bf9654100afe32c7d5bf427df7a0aaf9473b4b02 25da447281407266ec378fa715a0f0d237e17a82 d403fcb36aa62746c75c7a9da58026bfa7219c80 8e2ff5c6bac82f2d36bbd50bab413665dfb970cc5de34b48ad3e72479b9a201b0f112e207016ef64 = HOL-Nonstandard_Analysis