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 < S/]Cauchy:threads=2elapsed=2.740cpu=5.224gc=0.124factor=1.917zXZִF! "=]ŗXf1-/6vRZy_[&~ZD2[o$¢'CR ~G´;9tAZ4'k6/@q t7A=I= <s?c?G:3Vf i2lȦ^ #Y%UW? 5鮯(l]CX2D`{f ',)u-r *yKsNra[RoJͻȠ~6y'˲K:d:ߖWǸ2=A6cՎR:$+/DD,gYZ7zXZִF! G]ŗXi% '񕫫fIQ[5ÅfUWYel^ -AMӋn$ndzƫZ\$@Dj{\R$5*6&F@>β}a* /IQ#PWeZ{0qjQ#5r4}M$ܘ N QBڳvk])Y=88?cU4c Wz[_{ ">6MuO[N DWhj z6yEm%fDr(-b@ԉ#${)Ns{u)RקP(:TdKRTNd:Vg1pJàX2oI$?1= Im|K96OOV?8AR~9=e?|V5΃ Q3[ZF,ڿV5btbX\Y.CY35f =*lqh{0==4%ņTdU;K rmd)mktg\^8.M?b̴w(yR/t%S4`t =MjX2zisir2o!v38ARgYZ9eed8fc1f6c54686843ffb969de40b88bede13a3 b753ce16f8428413d1c2f6b2770bbb3d076aa7cf d89fd00a601201ee7e3a7dd13c2b6bc868536dd5 e11e87f81f54ae08d84655aa76828cf8aa070db0728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72dee8063b5caf0ea6d5edfe7a71923a3291abd3df13   Cauchy