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  tOD$ /% HOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.930cpu=3.876gc=0.148factor=2.017zXZִF! $]ŗXf1-q恈1`VnȆf ס@rOM_U#|nru4V"Ndp2SvYkb.l]oTϸ5;)oG) lt]*۷@ph$LOgYZ7zXZִF! ]ŗXi%6ՇAa`X}U?UŚQlheZښ>U٤uơ?pon T-:CZŠFniO{h-m;9t*E55ud?$(q "D^m‡4,U;:?.C[dsc%$3K@~q\4vTSq̻0ЉQީGP}?MfHo %J! : { XW:3H[&~k"ckΖFVCJ/!0$1~gӶ{1.fvKЗbmϙeԻ*xFiS%dK@A2m-WTd٩Juft_kj}1Rf<:)e̖ -9ZG>uO5h0sgYZ15d499d9d53901448c343121b1214f2252f3f203 89fc483c09a60739f03830a69d30f10503169125b7a9b2dfe4980115e308a4222253abf01f3cba22 ac0ee46d42a46b8d0bd5ae0397e22d107e7ad682 026c9caa8befa3a67feabd448ac9fff1276a46a0 a81a31e0023ea14c0d934af3283d94796882a3c2 95493d50b7a2c319f0d5eac4ec6fd4e7ef93f056 $O HOL-Nonstandard_Analysis-Examples