SQLite format 3 @ - l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info K K LO HOLCF-ex:threads=2elapsed=17.670cpu=34.800gc=1.388factor=1.977zXZ ִF ! F] ŗXf1-q恈͐7ӺV4{ŴH}UCkAF#YD`SEMSn*c)\n `l܉! ~q[lXp܇E_q].OQ&ևlZunNȰA)#Ƙ뽾D% _sj*E4} xS4Ͼn3~eksF0\>Wp07;#*_Xcc/,Qt{}܂]crāˀJ}i!.!D i HOLCF-ex .rWNzA-ZΘ/B2mFE=rBJ"[/o+{1ҦpҼӁ!ZݥgQm#u{Uq|89pAlp5V8sC;SA=}1Ռ`B_ R&ZH:HՇVi1m3@lNNi{2/T84-i;^תK);Қ2U瑌}-J&[.jS7xo]7-ٙew kW̦$[p4!vӨgJg- CL1RUwbIT##y01 q.YTM" k~K3C-~r."aAoADF#M)Aևk*IЦU[Y %Xzh%ΣV.Nd,xjy2Ti|L5GAvUrk ϊ,-x2pȽCc|?J$}`^ 76D!ۯ'oGvOSwۜhBxW;oPPzîe'iW =X L .z m;_f"j &]V~Kvd >7. 5eц&y>L:t&[T $'[ D3_A\C!ZƪW(K6َ·T5D??6Z 2Vz3\#&_SBʲ$fd znV,$*j-j)SMGג.TyTzy