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 + d| I]Sqrt_Babylonian:threads=2elapsed=15.173cpu=25.272gc=0.476factor=1.677zXZ + Sqrt_BabylonianִF! ; ]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'0251F'yrq,sZxm6Rbm~$/N!J~$j>+u`9P{zkelP~3t7^`.cܔ&> c.Ac1ߒQ[_* ,*PK•Ox@IcPdF!P Z6yYȀBG]7kyiOD^+RPb~֧_SB .phƨ L!dN3o9P@C!DkaRr,P^pW&Qtt\ Rzfc?>=p0~LW7l 3/+-Hxm6'gb'KF6W(ĊU1'BȎ Mm r`JOѓ4ShWh&|>pYr;bT{{hyTf_͕|k'WRDcw5~.H:O@9MQGQK$ m[%>-K|yt!QpŴ.4,f OY[8 WW2A{1B$0Prߩͣ򋐰 T Nlq x}*N˩yL0[|^K3t!xD}e OZ0FrM awovP 5{.~J:b $qA bǂFSQkXfrOq}qQJ]\p@JX09Dfa++qI"/ݢ߉|EЅT ΙŠ:)0)hO4Cb8JxgTo^ TPKrhitXq\{-:t1Մ&ֺ0|̈;"߬$['I*#9.ʬƎ.4 c2bRȈEȕ @7lT̰[:lyl`VEZNl6̲ʃ+f{K yM%9KkA!\ΕFbC?-(yP$1re`w azzT}WZ^۸]$$2~Tb.