SQLite format 3@ . BBh77otableisabelle_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 7= \\$ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.040cpu=23.048gc=1.084factor=2.877zXZִF! >g]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa y NgGOMe2əӛ5H\T`y~'la!b14 uVe`(ׅVvBYt(@oKD>HrɌFSv9_]A @ŵ@ƞCn!Y-y׻iw]2c v%y/jđ=#\֑G4݋e#gqɸTpҜT0(PsjNUŮ-?yf4)K%dn={w,NkKߚxRO5EgYZ7zXZִF! h]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>y]8=#=MH"|K$rq2;Ag)zbCf?]YnŴ}?uq_ ц8xi}I>$]Jb~5e=ɸh5#K$:K{س]K,6Tf\j< =9[b õh`<|Lb852 aC]rf`f+ ]gYZ7zXZִF! ( K]ŗXi%;R`on#Aai KK/Zg}.,kG `R}!YnU1nOg*<`#^||Go<OW{yes_i_%l\RTSbfoaɱ~jlpRg&*F]|ĔC㙿d^!5c?L~-< #u+#Jcb/ IYv߹8cg[_?,*y (bfL-[APt-ggYZ2b9429e6d397b8d85d5b7454658c8c9a59353a177f04395e2748c59f6729885b2c3159d0fab3f184 dd2049562f011295a8aa6e1a77427cd05cf11b85 7706dffff9d7b1d162e5ba46a21b64062a52b100 b4bb5019277a53eeb9cd8d08a586aa10295d664b1b4b03b1273ff1d8765b3778d336a2ed24485300 = HOL-Nonstandard_Analysis