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 ~~Op<4 ]% HOL-Nonstandard_Analysis-Examples:threads=4elapsed=2.178cpu=4.240gc=0.0007zXZִF! n]ŗXiɟH)0%oE[.Ďo.0p8 c%i:.HܮA`! m$H]$@hW6y/t;ż^˞foקIjw/BA`&9)w&V"p:Ynk7=weAaf9"1Mٚyt+JB?,!}˷,9 M 3*l| ~JMaY^8cqNojNeVFsvpW4@qqPA72Bi'^%`{|^Jw9kv]AJAFk njU ٍ"V~Dn@5Zf5L; *D) )uM ոfW˞[5t5^gmC_A^7Ҥ ҩb=<[iȚpVjɻ;8[9:g%D21wSW6ϱ$1q0G^&;Z⥖,x fVbWl<榴l 5g+>P_C\`IS5||=**E6G; veUw{E8> %$1j`Hti|y][ֹy~X=s,붪' \)شa%gW]hHu ,\uf}-p +GxTs{] s#5y`d%7Hx+4VֆX3׸ӓ]h䧻 PԌڒ,w"RV{#@j=}Եp}WVh7Hogie͂hCh9Zٸ~?&L3NJtĈczb6hım)4cdQt:(ibYt"0_/O(Y=e,@R*AJnG~oO:?*1/9'ϟL`2\X|1QLڏʲCjI@<ζcbPȺ)k+ɾC~r,Qs "G!}کG!>xTVXP0.pWIpwt)2&v]垓?w7$ {w5hFm[8?4TLTJOAa!ˤʛbBGm.NV;|=~5ʕ(0:DgYZ75b38a5ea181181ff85e7c88767a5d8a484de0c29aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f 8cc92298169404804b4a3efd2b3ca5f397caa20c 1fb171e22a1ccafe0ebbfaa95d2b88da2aa4a514 $O HOL-Nonstandard_Analysis-Examples