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 1 d S Stream_Fusion_Code:threads=2elapsed=17.905cpu=33.924gc=1.552factor=1.897zXZִF! }k]ŗXf1-/6vR[]`^O㍌GσCU,,#DF} RP4HQqlVƽ%kfq%| T%#xӒTM!S7iڦzPMv|OE7y 1 Stream_Fusion_Code_NQrvN鿆aEG6UZ\ gSS켢ql4= sLH3))(s0p_UQD{u,F _`q/¢.)2/)R3r!=݉'M:mXiފ,-vMEu1"L-;%E$Y F3&JfD'+D"W w9n̢HY8sŏ*įIO3a^cr"2tiaԣj)p&zꉫ?`yX{QL#$)2ONso`r0$HKԑ4@! Ne@4M]z?TNM<o,qa/Pګ_a^'Md0/[V) apivxWŚ`p<|bk4yRM:/ɭ-+^0(z2hF2+}3_BJ_B/B^\Y90s" (-_2[pD-!FK.Ǥ PKD"P o'%:3YAMPc[Δ`b^(4.Զ@TwRd6ׇAkY `T;JQރ=1akMj*is=dװi[$K}f.d`uXHVoc90Sb]K*9DN(JNMA6Qؖ *a]itU\r9*RQ}Ɲ&h՟,$q2o"E;ʃ [!s2MSE٩¹MY/Ջ'R xy ~]m]8h$U2FU40Eos$3rgHGRMc,ltv{R|Z§M9f7w<+AC =?[/ȸ rLtE6k(}rOU_5fj_;ssAQn~bHm PɠB-IyE kGlSe?*^fr_ْ7%%Зq̋@ī:_HPIAkՋq0&g-5g .1)cv/TI}l4&";59erq-~Y8u H@|=iǢgYZ7zXZִF! b]ŗXi%:2.'ѰPCF;z CF84< )n1QdHҪaQ4svؙ>d~ "K \eLj{ OtVOyG􃿼 ^X5T':\厱.hiO Q(:OB8G>&S>ͱ Q CA&XqeYS nw;pwxoj']ՎWv4f{w!~|Vg%!we٭t^"3 ʦi}׻KY8D(U<?VYN4J%P "r\E.1巔oKwMUL ;u8L6Ov8d@rDyi\\e =2C $ 3ugzף巐+Mݗcڜzg%&XIAy<7OI3 :? lbZo/&؍_3AV'VqM0s3P0bqJ\˜:Tğvf!>aάAJO4A͏nIr#\,F K ]UgYZ01d0bdf631988cc5d8b72eeb42ef4edfcb65c434 21801d08fb7b25dafbb4d558fd6472932aadadea 311723c14045b9608a65a890b21a88fe2cba3b3f 3ffd74b09cdb5918f1cf7e22acf57ff626fb4e44 682cf9b44f4b810fbf3dd344dbb58ad4b42af876 83c326a4cb1cb4868f7f3efbf7fc79c15d04249e b049cf22e7ce3479c88b968a63aca5671d014e0f f0e5a57dfdf7f6cdacfc0b9da865465b469ec054878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12 750512e45d49969873f1c80271eb6b244681a2bc