SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info X'$\ % HOL-MicroJava:threads=6elapsed=61.066cpu=272.524gc=7.748factor=4.467zXZ ִF ! ] ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR`ah kYFMn]=gi?8%4,=嚛qfݢnY]#(*O3*ߵ)0(b/Z<~a:S trFz0҅'ߙ\Cf Lu w2ؿU9/pٜYlljdsc/4.Ln]m(7U!jhkK\NiD$NO_PK<-X ?H68Ha7L:M_~e{ OeTl''2U$00cٴIPrKMVP$ϛ [@?FmG/[*GzP'кPuX-GW.F5+=}CZNOrkU֩psN=r&({2sTm_U&Lf$;iur( m0`zd#qdJXJ#r=~|c=6ZԸ 5mG1DSisX4ǫpF5c.AxHݢ[:MʒK}}1)ll|GANW+oxuĔ̇)gU#(\^gګUijoATe,mnr?-S˼;bNqvܾ?ҸIi4>n5 Fb??an!ygZ7Me~^#X1S˕Ӻ nv7wz8'8H545.8wIy rSɫk.3U\(l*= Ir\QXq:kξh d=.L$tx7p):Ŷ)P$Jӷ@~U(y0Y8C7&N;/hQI0XY ϣߊg$Ųѵ xO4vBpoX`!!tjHsb
aqzR(w3gh/?I֛~GxK "@lk7~y)=R*@R]Ŭ 큣C-Yʼn(*Mʿ0Ldž!B+9fGqhB/Lz\>Q~juVRP.i[فmy'@*n4&Ք