SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  |OD4 /% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.992cpu=3.868gc=0.132factor=1.947zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYkm ҈a 3n$j(p6Y4uxV!DK+qW?lLOgYZ7zXZִF! ]ŗXi%69Dj_D%֜@z&z %!Z;OW%txs;_Kp9Tp-5ts7ض3@%?2#5fJ$\g(#J?DNjy46W$ﻟ!`jV puquF5ͺW_§z[JQy9 D9qN>x8dwDYtk Y.ǼY߭?k:.FćzV>$[&xQ+p/Tg"ᾅ.o= G]>7Fᚙ݄8t\2zq1Ԃ7}<K# `:OtpF4bգ /JF_Zȹۖź /u:+)A uD2' bY҂$?˛*݉/j_OK!# ga#Pű=wH90PgYZ15d499d9d53901448c343121b1214f2252f3f203 89fc483c09a60739f03830a69d30f10503169125013f12b3a18b5832e87d70a48956a4ac101e569d 88e2f99c5920bc73d5416538298a01671c7553b6 a2acf7069a04b73290e85f261327886d85fee3a4 1719840070b88f240edf8bcfebb671a21b462a25 9f7cbf91a4fd629242753939870a1e19f59daa5f $O HOL-Nonstandard_Analysis-Examples