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 hh #4D IS HOLCF-FOCUS:threads=2elapsed=4.796cpu=8.048gc=0.164factor=1.687zXZִF! ,]ŗXf1-qN # HOLCF-FOCUSezGG<ͼ06;@O#(Itؐ~urVX4_;{q *Ľ:3+ ^ UIlZZ Zo)TgjI̻*{˾W]7oB?zD{BT|&0wUj?>:%g5(B q9? oͶ#VtjmX !&hT&x17)z\bnE9b\r}ێ\+p!_#v)ں l7@SPwk {CXcK{p`%I`nS 4bcR|tq$0-ԥ4ϥIm]xŧD֣xaq&Rtt~BRi^zr ?99Pv/f 7CA1:mLUzZʎumbq: xx8ie$i!keg h;>@eǚ`HKeM?ڹ9A;mH~| D돨p^=YL/WI()PE3BV?RuP6Ja9Fz4HK@ö[/RVyo\SWdVy}P,D'PaՄav~ڡ'}حYbıgYZ7zXZִF! IZ]ŗXi%#f +_>}u`!kV1;co1! -S:'>I,'"Hd.6}_ DŽ_a2̟~Qf>^@x՞n;0\ WZԡih{qȐu>g}~)m=P5۴-sPw6~U~ߌ2ߎfVg4&j+AӺoB;%yv] OvS(cxNixuS6W7|M@mRPoǶdDs_v$-(&CY~+e69%$ƘBX->\p2ظ>J} y8C5H)98HcVH!M|^}GmB{y>E]K!`=6B,?!l!q⻒LlU-&~vF*B'c>AvvZ} խ 䭬?g,4pU0WT/z@b%<@ 8):Yr┪T5i衱_Njk*S{pAc9+Q} SMaW&zW\@$.=ޱgYZ7a24ac0b5dfecfd710cf976d042720a27eb8c80f 9819d8a0fa88bf71b1e89868ebfc3ba18c163ae2 bfc710210819b065ad61c33435fdafeaa5589ff2 cf1fdb239aca179843816c6e95592083f021315c e3b6f35a7b23702f0940d11cb27f1a0c2dc25d95 f3317a6f9672d05c24aea4f8d56941943f9614ce f66bb04f776a67c77884faa1a67dce2fd949bb5c76e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575 8b3f1621ad686cf3aa842ec79ad06a6f95fde427 516a72821ed6fbb3cbf35c76e7b348aa36f84725