SQLite format 3@ . YYQ77Atableisabelle_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, "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 ,,Q1 $, / Recursion-Theory-I:threads=2elapsed=17.262cpu=30.348gc=1.188factor=1.767zXZִF! ]]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ ?:oHƢho4VaS -rW,Y26F8)` u-!D%Zy0^11tEtt&Kϳ;@"sjČ8{"Ae.,9оѧ wؤ[[Fំ#b 41 fo gv9f;@Y@\@|ՇN; ct+a mxc0^.K?;y2Hg`Po9I4M8w,G&aGay9QEoqK} 4NSR'df6d3;plF'%Z`Z=9J噒gYZ7zXZִF! e"O]ŗXi%6yKb?}[$*:_ax3fy(܂\ҀB9Zds,%YfmD3;h݅/|/0.~iUcC SXm폞2A13 TWixREcs&prYc.:b~e)&٣%1M%VZF.]ӏ7&qx !rSZT-Qʈ|@eHaGg)}De0~A.Ȩ żEIkn4A !}@紸!#bc з?[dsOCͻ]b'J`ZRYAwx;bHGdؔqt~ N%E)9L}L2P}%2G8Ajyꈯѩ"Iҍ[ Β.+R Ob$Qӿߚ-u{ݨ~l srbepգ[0#bgMg,ѼRcr"\ޒ\hU1` zbrd`s9WaZ2gaiOFO(DHyy]񶩥q%29<@ݗ=KkW=`k-9+T.jvDR<P )=2\np:m>S2۠N˔Klt2)^WiŬ esN¾ f2rDwFkG@o͓`ݚ8L>Ծ eMtL jRYl݇"BpvN0k|\t.ͼkM0[ ~