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 '= q[ը̞M۝^TN*7I\ιy b(>?O 'eFx0+j5RBd&f]>=VҨ1l{lϩ,νXGi0=Y 0$SNb# Ob;c&mӈv-X_B}|>я3EO7%k7C kuNƸlU%f x]a6@E~SI|٪6[C`߯yP*#".óE>~L3~gtW{rƻO'ۍ-]gw!0gYZ7zXZִF! c]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>: U1z($C-r Oë@rr Z(840N$WuAl>Ep Y-ݷEDѠ)jGUi1$ r\oaZ \)^!bE}] d.H|{ ͦ'8eZ2,4 "'5|un&'"}^r^ɳAŲ"s5_>gkd`c;+{50K><#xa%o}7F  oeF|i;f ǽ1iش➜@A:\u.LS- f n}OY\Ȕb(Jn늣9!&Rc'`XkF`=6-zg~YZvP8졊'2hnpR@_ᓀ4hѱku#؇3d\nޣBV@Q&e1̃y17 o14pEn:Iiw%eJ-~EզCÎVrathͫ;bX!..hW odϒJeuT 97=|O_Qn_ll~Q`s߀'5,mO~+6\X-hs꤯=(w.Ng^>7ְ8@P(+肁[V@tVz&^TN>uLLDBk`aӀհ%4Iow[x&B򴿠q`Zl)eG0J\l<94l+:@!XLu}OA{q?Zp2yQ&2H FH~MK)7V#r6}25hCD\FԵ/qh{?(QEAS24ƖG.Jj̑ 20͋ J:פ_F'@LW {UYrMl"6&Ah{za,qj" NQEd#{>ZbxUhua[Hغ5 1)m^97 dW@-%81E]lyμiaoxΫJy'vt*#=t7x&|F SOb;gYZd84e1f7e564f02572b2c6c029108d4d85420129ba7e1bbd16329c1f97a9de9d6266928053862babd ea2cfc597a0179042ded7c822c8c5398bd1438e5 c98063d164e97992b50c13b7f886d7d25373cc15 c65b9cde6d762214e41e790e91fd512ba7c4aa81bf47adbde1ab7f8b547686c3aa26964493ba2990 = HOL-Nonstandard_Analysis