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  $O<<, ]% HOL-Nonstandard_Analysis-Examples:threads=2elapsed=2.999cpu=3.812gc=0.204factor=1.277zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYke6[Y죻ϻR3Q.o:] Glp'2jev]kSgYZ7zXZִF! ^[]ŗXiɟ1$BQ0dE8[Aoc!IJV1LKR~?"|;Go".`K佄%w_,}YZ7zXZִF! ]ŗXi%;@tƜqCL$@QщzA}?X ="y`N@XO( <6 \^U۫N/k5y@.v7j[!9 .ОzL^A:*ȺhkNx!k`>ҘɂklWſ/%w^ 9!IKCd Ua;@׫9̿E)D⑰g5Dcm7zDŝl4Fiܗ.#C ?L Z`wj$ ŅXHay`6 yv%lV+`h./mmÒ{`6(mysL ri- C6%T+*0Hv]0]n^ftVrut4 :fSf-~$䧬p`[,X Lb#b( Pr`;ik nTR|RhDQK}K1zuYpŸ^.y3@Z dgYZef1f6157064cdde5a7968ebd01da431a66e687f898dd477b080148668828b0f67c6e8a1d9708b3f3 2dc2b5acf411764d9a49dd03e6f20aef615ae67d acd1b5a40151b067766d2c39214b0e7386d62cea 462377fe3ee1fbca011d343562a3f5b67e8aa86f cceb33fd3322047017cf29f86889d2106bdb089b $O HOL-Nonstandard_Analysis-Examples