SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  D<| ]S IOA-NTP:threads=2elapsed=6.994cpu=12.960gc=0.592factor=1.857zXZִF! W[]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#Tw~[9Wa0?i'i2Q=Su [ cyY&NcEi3H(;M9Ni)*H@5i{چHWR.ݐP;kis{]{q |QM1oIdF&2q T_[ $n Hy@\Gx"d*QB,(HiQ]ʬ-vfHVdf TbMe24`ak8BfyucٿIVfR`NgYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz(׌צ6ۼ[2& 9&{ȿV0V WD7of\No0%y`Q}T}<^Ly*]ky9`4x~Uv)o)׊eloV,h('N@r 6 6_[fh<=pgj?su RQӢ"uW8˽z(8؜w߃\s:MXG+VoU(IDΧ 4&'JV 0G|FHIXr?,ny( YeCD`$B,G KoAJ%(Xr,I 6 k_EN1C֪ր,!/)C,:d *뺯68zk#!A]L|ߜ//J_,Z2)^Fq;ihIeDەpZ*-ಝK@vI:*FNbdMj1ex"LmWvQГ,2P-*9C kx}iStg1S#%T)V qGFwGLIbFӭ7 &@F;wFTyh2|[^nnDS v[6k ~AdGLr\m#$9T6f}֍ ֨ωa#Ygq\q w5fab$;vp'.;C+ngYZ5504812292269fe202b033ee1d7042eb1b5dc040c3eed4da8d2aaf2ad54b900993bdd6f7717404e6 f5ae9f289847647563f612b35004c35ff6735c80 6a0495497e4fe29e748a288ba8138e6ef472d52a 2710d2628976f27c1fb4bf51156786327795d1cb   IOA-NTP