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  a L ] HOL-TPTP:threads=2elapsed=7.176cpu=8.436gc=0.368factor=1.187zXZִF! ]ŗXf1-q恈5Vs1{3 k8gx'3 ˍ(`lTr`5{BDZ%, Oò?4-/4 ;D ĥP `t̐WzB fsϭ#҅d5r=Rs$O-;!$w5WQL첷4䎴S{x؉TUy˹#Z %P&>3x&y9Kdp;I IW_4. agYZ7zXZִF! f]ŗXiɟ1{nH4ʼn8@ؓ&lsɄ=~y! %NGE8_K eHrClʋ},z.*!H Ң|4@ O@D:&F(5P3 ="K# ]Z4Jc~#o4`KxR:JPj^ɻ慄fDQJ nng8(,#L4N\Xl3`a6 ^k`3W_ͱgYZ7zXZִF! #]ŗXi%;UL\G8EZ? -C ζW]>Iq?pqBb~q.ͨ#Se)Q xy8 z=Pz..ssjiϹ%wQ>4Hյ#cU]xeݾ{UNx]=2E@ R L29v#ˌ7ĜR7lBUa$r3CMoFR`QǓ ,sON3%%o"46XؙԸ->k`2K1\N]9UzpV$:A+:{eSlb7"V'3HR4j@ 7AX b(; !fXu*ls>e$^\ڈˤό7ӐN1!xwR/AFhے  9W5F%.PF:1FgYZ153f6446cae525a8483ac0f411a0b77b11d00276f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 35eaa225201857107e827622fdda13b757fd8deb 600e22bc2edc8056b332800032b4ed87cbe79023   HOL-TPTP