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  eT$ ] HOL-TPTP:threads=2elapsed=6.607cpu=7.744gc=0.332factor=1.177zXZִF! ]ŗXf1-q恈5Vs1{3 k8gx'3 ˍ(`lTr`5{BDZvD\])Kү<Dl\=۔Zkw-\b)id#Yhyaɋ4 Kr2ܤXƈ>o j$q^o#qPsKfAZdib(*j9tҴZ 1C0O|sD`$~@6=6gYZ7zXZִF! f]ŗXiɟ1{nH4ʼn8@ؓ&lsɄ=xKp#@|;U윻!OXKr&*Z ^Z{сn܉l](R,m覘{7ANH Q?hksxݓg9VFyl6Zˎesxll֖R'ޮ5K5T ToJA7)+nm"z`&gYZ7zXZִF! ]ŗXi%;ŰA/0}NH~|)*m<'Sd^5.yh9?i&Y,6'=+judN1^AOےL}ͪNI!eim&׉FD [&"؏z&ITRy5զAPn}=4zIJC0F=ʋJyՎ x%(`y% bfHnNEd`Z 'm E-Kެ) I(蹧8X4CpJIR^c`a*pZ F?LߚjE0Zq>D>CT`HmL۱e;):8AvE0 $@$pCmKkBFG4`3%:.$^[pmLٸxFvY & .$&B骇S':˃nXN%M\AK]gYZc41a2b5bc2b3ff2cd8bd286d8972212fe0ba47d4daf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a5 acc1a01ff3c9aa58d6357f601c4748f07f6c9558   HOL-TPTP