SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info t+lt S/ Ramsey-Infinite:threads=2elapsed=4.878cpu=8.176gc=0.232factor=1.687zXZִF! p]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S\+1845Ύ[^~ՐO,dp&L֩̾_3 t"Ju?RNUq{dlbb5}<#Frނ{{+v%Rap P2WN u8-.Gs(š"$:,BG/o\GăŶdKB f )򎈚h?I"qq 85WH,ض< ZءZZ#Vs.5-ZJDI \a%;v S)D6G߳L@{D՞w L׾85#ꨛJ,p۲ܧ=&=TƩn#S=#嶫'BkZR$#r@!u`b~3u+8dJԦCsb|4UD˷.J%AW.Ĥat~pk< rˣa՝(6sO֬ RBׇclEN] Bfq}&ULXZtP> + Ramsey-Infinite5WYgYZ7zXZִF! ]ŗXi% -ڕ׬(p 4uY)膫y@0 &J)kR[ҏ1iSX[80RVqퟆm)Gpi$DA'D}w[TFL8-d3m(׽9ԯs8s6B] o@ml'f:mb"O!FpX+Xi9PR 8KޝN=|Pv? k]]W1*mA}u<mvFIسV㧇NL̓z3+wKXE7*bBsVo;e-Ct>:(R[ʵ Ur:fT;Xܤ@ v4>r@YZAR%gYZ6028d8af38ab33c27e80628ffea54915be784087 71a767f6310628066223637d8f0e48611f9dd584 b3ad818a7660d934d89acedc333918fd9000f935 ce168f5c6ec1725149cd64ec4a6feca6f681f8b870d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9