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 OpE[.Ďo.0p8 c%i:.Hx|9~׬ds1gB8}Ӛ&%NwDIΑnp;mppzx1C㖞Qm5Cͻz}87m/a =R?N݅U'xY< K]u:ᳵ/t"Cd̸/>Fdwt1jaڸR^⋒EFZ'Ij1[Oάv&6C}Q\pyY(3/ɞ;ЁF'ֵ@wuQ ]u c1}\pߑLg]Jf#g<&\b0>:67pFLR܀Z$TUDXy󈊚蠯1v xVC4Pt0?ω? \\4A0b+ccS}7MRϑTŜ0<0SM5u1"qvatC.Y Renx '[H79Dr~IɶvC ڰrx$`ŒeJzuk իym|e$&z| ~Bc) U%M(pְIXFEdqsa=s Tv0VmXh$,JtJ4OY3t S j{+E }fD^OSo6CVg j frկ3p x`+% Cx~Kn]ז|[ C+aŚcf\w'<);lG2ypߪbXA3b+V2+}TH [CvV/QQ ZS6eJޜZ2o]-5՛pŌR%j wJ[(: mZ?z oH1q6EQ@cJRGcjv7b !.areqGV9l ͉&(%^p`Rx xvZnJ$Ka4VҢDrGSSbzWg|‘|UH=Z1P{-^MgRIs֔ Lk ̲OX w#q>?$x# Cɍ\i~"㢟iGC+B~++Dc% hWpoTPJ2`>s-2E}I<tTVså0K d80:޽c¤tN@u1/.:;/0c@Sκq\v]++3 /\1y,gEyN w,iӝ+ v/ġ{ 6U4;[; +sMR&$ୡޱ\ei~F1>KiB97jl0 2[G OIReM++ONBkAs>>H'fTw%T`(nRj5A^Hkf7 Hg 胇\+lͲYPӛW5̌1r,_)RcF>jD]'6Vm7t\ڵ$d\!8qsm OAem3x_TEړmBo=ir"c&DEZږg!nwOu,4PovN#AQycA+u%^K \mjHfׅ,> 4wCy "];kjok>]60}\=K ]f~);(Us LطKSl*C%гh3R~ҺSKm (7 VbI:}}ޟnIjZwYG>FSĮWٯ?=ϊpgYZ75b38a5ea181181ff85e7c88767a5d8a484de0c2b883a48d9fa3f48a786f69b365d44319b1384898 63e31ad1910c4b6b20266b2e8ac7f3c4064fb790 a46aeab6b5e439fd082aa1f70e7b3f1b5c0ab3b3 0fce940fc8846bdca0bbfefde21d9122613ab9b5 00bcfc58dd46d083dd856e94f71b583d203b9dd1 $O HOL-Nonstandard_Analysis-Examples