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  ELl ] HOL-TPTP:threads=2elapsed=6.470cpu=7.552gc=0.308factor=1.177zXZִF! ]ŗXf1-q恈5Vs1{3 k8gx'3 ˍ(`lTr`5{BDZS5sVD?XiH'd!b gҘhNl;Cs1Ua$r%wҹRRE9z^/"J6ɀun~ 7ۜU@`dcvhpqX!o 3~3Of- //UR!=6gYZ7zXZִF! f]ŗXiɟ1{nH4ʼn8@ؓ&lsɄ=z]KU0.ŖsDDO1hxP s^# 8nZVaWonyPfp4]bD-㐏x0-˒f_1|!s[zՃONa,_Ǻs:#!M Wd'Dgc} lQ5EC-PnJ0{RбgYZ7zXZִF! ]ŗXi%;NH&B߷*iǠ$`+W}#vs M);e+&!_*.3ˆ*>38@ +}L'of#䔢 1 3ߝC@|vv+n Ebџ;P*[Zb+Qr(1H M\[Vs7ʿ6]Yݿx|\rn.hrkTͷ5˺`xR)|Y7{WK@@Ҡn{$X𾤓u,<ؘI-n'6b R{ D