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 A < E Tycon:threads=2elapsed=9.560cpu=17.640gc=0.608factor=1.857zXZִF! O]ŗXf1-/6vR[l>eMx?/᣶ކXKvCt:_3?pi v4٥[[6خrշ eUe`yPUrʢxɣR1dɒL: WV> H;t*.sY N[6~4ZCnߝg!}:a݈ܶ^kZ!-}@ˇH)Cd0z# O^L [-j})r) u-OuBr#LhyJɉ/#]xcWhs|# r>ƆO:qJ{,rf۟x2<H&i5v)Ŝ^gX137)9vw8u|@t]~#*UlB*сqTnu|PRuCJ5?˙j=7~ho"@î&[ V|tR\tv) ytI  Tyconl?l~[C@n5IuO/G =C_YJ—4%| bӅ?g%L nRB-.3u΀:e?[)&ZA tLNQ փ^Q󚚠X%q5~Ai:DȰ72vya@ kMzTO%ZPQlߠKwRct5V(ĝ2$xP$#kpVTvwwnzx3-=U^0Uze#|vTy )E.9Q|Xj#C$!5SZ(K븎oB gaGy)Yp#GA@u_(5fus!t] sש>q7!p$lߜ:]PWi,Iyh6#˗N_;Igf%V8u> T{;+H ?0y1F2$GݖN`xJz|xG="hI>ޫ)&]K=tprJg-@u,`iA`K<Zrd--~#S { jcR}#x9.xQc `چą^ֻv*aN~CY/6S̯_Oҽ'o {xe3v`a=2ZOS Iq-;m+l69AB Y{{OP6(- E=aWv2QDDi qL4jKm8" Q ݍ_ Q#MI4l R :߁n#'vʺrr>Q1 k,DX=Hmhz% z4tX=GyYS9^o7SI{8[dB} &IKŤcK]40e鞊;|5͹E! x|L!!߄e]t5x?rJK:u(Oo/ ߟ8QgYZ7zXZִF! 8"]ŗXi% vr r^ew~d!1>6YM٠ talI641C{.ϯBxn_T>6'Iy|'Ȏ Hy!%^<>2 Z12Z\~Eccdř<`(%M%%)_frE~GW_v2Y1S:ogŇ[T|88=P͹635'74@`еl>b"OlysTTp~ToωL#'o[CqNְ͐OГ'HavkB'rq2(3yjHeNDJї=t'_̟#r`=dNJ#y;ͤg #`c9LנCD SJǫ\m&7S4=^_ze c12\-MW jsb