SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_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>-fhmp^Ta(cӏ=-^Għ$<9^2[؋D/k6q1xLz0Zě,d\'"= %V4SAjAQwq'ce,J2 b[d
j!SͣvnB@/$\OhS?ZѸTYnd#>jbc/u2m@:]`!7iI&Fjn
#-ZP ]U 1 %+g YZ7zXZ ִF ! ] ŗXi%Z6 ătr휱J}켨>5v
ߌYR <o8Cl\{1hE}_ l9EX4+h\*rZ8~< )YVLBYW!ûey@;̘@@9'wPo
%M#&*saYhU6#o wJ4#?f2taɓ]lC ս18:B8'\ݍnAȚTi?-TCVa>"(x\'.tI{i'-Q5PEPbJGB<2(BY(xCӀ_i19M<$!|_iX i+U䞄xLDM