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 G# Td ]w Minimal_SSA:threads=2elapsed=10.188cpu=18.536gc=0.416factor=1.827zXZִF! d]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^ǍrOR oe˒Q5jd}a͍Zcq4Fg/Bmv`aJjd` +xI9adUU;j$JPC.VU}5V3|~j3Yqc|}c]$ v4xMDZīp5a.r/e=;`gr~.T{ȷRN4g8!5n 5z# "6!xU t8PE||({=Nw7~徢o n;]2Nk1q}=w+{50 JgYZ7zXZִF! :]ŗXi%6qoy> 02_AH^mN5@$)?kZrjOL)υ.=3M?EN(Cq.>xmO|ǵ;6/XZqDcƕOٽ;9:F>auNy$_{/ h-|Z}իDAH-$Y Iv]jW6f( 0tgB'RGP2BK>҇쐇 hmnyDz,Ai\r7! 4GvZΛJIȽZD)Hl`Ht |0r ^36!NxfTt]RLR̰mrQR}5S($I $}sUPmQNIB -k}ɣQۀӞ|*Jv&Slw-nX^_M6Q?7-HC!vaKCzPKl