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 7 | c% HOL-Quotient_Examples:threads=6elapsed=27.381cpu=44.052gc=2.300factor=1.617zXZִF! ]ŗXf1-q恈N/|p~p%+)<}{5ޏ̫9:Ke5g߯ BR]ƿ=" `<)hU%h)plXzhZ1f䦕Jfލ:`p.jA,Hk/BK*tG+ GlV7ҹ}v#]Gͮǰ|@UQ>TxW#7)o|%jZʏ/1+-Wm}OwV'tSʘ̿h]vnYKZ%xK،%vtx9l[E jM,E\OނOg5>-fh mp^Ta(cӏ=-^Għ$<9^2[؋D/k6q1xLz0Zě,d\'"= %V4SAjAQwq'ce,J2 b[d j֋!SͣvnB@/$\OhS?ZѸTYnd#>j bc/u2m@:]`!7iI&Fjn…޲#-ZP]U1%+gYZ7zXZִF! ]ŗXi%Z6ătr휱J}켨>5v ߌYR <o8Cl\{1hE}_l9EX4+h\*rZ8~< )YVLBYW!ûey@;̘@@9'wPo %M#&*saYhU6#owJ4#?f2taɓ]lC ս18:B8'\ݍnAȚTi?-TCVa>"(x\' .tI{i'-Q5PEPbJGB<2(BY(xCӀ_i19M<$!|_iX i+U䞄xLDMei0QsgR ۭZnI[ZwJ4n_Skmu6F.GQfVb-^^b VLJ7Qᾔ)S̿&=3/%m0zx=;T-tQTI`@BXg'n#CD`Byv.Ki/IFX?1zF7Kٷ=t^xx7YZ24#bi1>g,ß+N>RYT"q6pAцA3M\PoEDgEheTbe.bM%ԗ:;QY@{3~^ácB){TLF;YL̎0L uk["& F y9YL{Ag^Jy~+91]D8sޙrYKN7!M؄,