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= `/r< ;g :_t@<ś6F}\EqsG yY9s} P;)cE&_8rl͝ @є6ү^s Nx.-Go$*^"YYLLP)dj؞%O7xB)wOߊ!;pD "ÔIɾ&RHPIv҈dl;2U ?\" Q؎v=6Vڲ[mjS,!Yn4pMsR@+d,t@?VB7Üz^i-%4! sɵ[dErIP8'W_?p!ڙXIJ UhcIz]|LV|82D8Jo)&}Tvt1ꋉ\2s3{ A AgYZ7zXZִF! )^]ŗXi%Jq6?EtC5:=;P~ }uβG4s}#2"8{iruo_RPɪ,)PCZ1S_c;?63!u.4koį5SgakW5Z .Wk!%yE<p;t:ۿspmS3J y_~bX1J5WV. s+0~?T ..[$<ԅfKCOSLC>@]+uW%UGmMƻ]x ^75cSuC.2$!D-.A*3vE%Nű `Cwg33OQlQnu?Q7E/Y2Ԥ$+/{+u;!JpS<| E_^F*"|u&׏c~KnwYf6 ii֓γƊ]dJRg.&{eጸ} /&g !6`[3\|M4y"VJJ^F*8:-1X`MQEφ 8,O!#OqAPDXx͡lM#BW'S0Ld½A1Z~ jiT%>t]# `0#;N#L%G]@sٽm%c6Noٿe'a0 pEe6jEbJ3 U',?XXlq`x䍲9Cw1LBKIh"cqb5Xcl! :hwnu\nUs>¾^!:qV~Ԙk6-NV#<ѣ^qSt[gYZd50a712a6788ee21df2caec9bb2d153c021a18b8f0e41e8906fc3822e07e67496b53881453c8efc4 8cdd60cef878eaae282636d39dc13f1b1a7fdd02 92250eaa20372918515a2ab7aeba71bd399d2360 c009be7f045c2decbf0c536eb23a8c9de49974277fadd7a44e9faf6079cbea70d8a441cfca5a7332 = HOL-Nonstandard_Analysis