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  C \ wI Comparison_Sort_Lower_Bound:threads=2elapsed=7.260cpu=12.204gc=0.372factor=1.687zXZִF! 1$]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' pa,9IE"FOj!󏡚G I_ҕa{BF딇BdAɊ+C!:څb)YHos@,KL=TW&tǭ_ @ 8[Oԯr,JJx;K<ԥPky٪ZMT1enWkֲ.Mtϖ3r{>M"vPfHNkRۍƈ[X37 Cɗ}טsx=[2>l v/}:\hfɳ/`s^ q㡦>5C>GOSqtu*Qkl2C e*U*rbr4@V۸XB[3^]y9B`U+YI)(4Ji=6D%NW>tZUbܻgYZ7zXZִF! ,v<]ŗXi%Vj52-uذSrV0s5azySx =UC2Wv aPd@yL!n "G%D;sMIq6:wrul?Z|:#}uhu5DtzפC4gfM+&p׬1 sgǚCe<&<˓n{oGNrFAڅX:jƩ)llvTͭ౪Ђn; لDI I\rX0wl<%sRɝVIO_}tt6Z? /pb*6]tDP.̞tj B˝'jU )؅{/S< )`vY>G0U{ Tse\B=>[!r5kS:W`T?cDRe"apz[r