SQLite format 3@ .0:  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 rr = $d| ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.101cpu=31.876gc=1.560factor=4.497zXZִF! SI]ŗXf1-q恈1`VnȆf ס@wp  қ@\Y|I ] Ha`c<6& cjKD lETY؁Ftmz=8 1}Lc ,24,-g/C'΃/!Fv]O;plcNJB1ȭDo0z[N3t3%D({\$u# /W![/i_V> -A?/Y΃ xq|iTII,M4W}TiE<9'Z#JXh ~96ɺPn<ْ@Ohޏԫ>v%I0MuW3O߮ۖk*?\(3ŕB?] hPE []ajG_^xs6+9 ^Hkf?[ vPotK gQ8Md6=e f}0W&gYZ7zXZִF! l]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>TwLX)ҠX3,2kXJUڽNVEM\E!Ee\7WadB}w5ka*c6Y@0_ O|3x}HmO:S. }@4/"7+c&o[ݿ*;ƍ s Ѥ~y0>Iӻ\ b:Hm7yA8vzcЖ* rK% }ЊE]TՓ OPgyv :ң ?%%ٚhqO^ tڣpy'b\ &rgYZ7zXZִF! )]ŗXi%EdzTmj)!aw2͠ /3JOBT veHH3ic I&^9jesJ%VJ 6 `ްۋݭ{!gS?mq>iBZ=_=/ 8 dFĞPݭWm"ʼnJ/"VLnu><7;d]MӬF?'4v Eu/:aQ hEek0P)|12IP[9}"{F2TzỎI}jp@pD48RۭV \.ؾ0;c ~-pnZz/{mSu$F&Q~C.Eb梚j̈́eX Q"?GF6jl謋sO-Yjh hpPB!˚t׀ p*ocJ5ϧUTɷ/3Dṅh&yT{*\oM[2}f%IlG@|j^ &l\p/pfMLÅ'8ƭJ^Hw 渗b&bTZ,_S6 D6:HS,dc ;Ӭ+6thY)ùb\S$UKJDS]QY/!9QKnodo8~$Ry+Kt 5#$^įȐ`Ng5cIhrүGHYІ~Rvƈd|C SgWqSgYZ1a1c80f54180936b5ddc2728b4182bdf696a3f5a1d849f65e40086cfa647d5ebc591e23f461aa5f2 8299fc860ca605d42055d4569ce45da8c35d31f8 791b72dfea4fb72ea09125b6383f1cb7a31d52b1 833e5af36744fa2577e434430b50346ab4c73203314fc043f4bc7bc2a69d67b627b7d640a97536c0 = HOL-Nonstandard_Analysis