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 ^/ | SI SDS_Impossibility:threads=2elapsed=61.328cpu=85.204gc=2.168factor=1.397zXZִF! h]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,F6 <"`4Tq6 0&HIao1OtyuE8V~nZM6{gJ3s h>$P/`pb.3Q4;o4[b 0'P [xo%o[Sbgfe*NdRA41FQ@9Z(y !d:)pwUFb"Kʖ`e@1)u@#+$}L#|DR<^epp / SDS_Impossibility:aEmJǧ Zv3!  d QW"Mbͼ=ȕ/2u=ON:T@n4<=3?f٤A2Gu;6yzn }ЉBvQZb颀$ +?H>V-.,o F3be?1O]|&g W# B4JMr JRba|#1k]NlA󓛋3 >!'.7ˤJpENK8:$"gYZ7zXZִF! # 7]ŗXi%6qu!ʃ`*/QkoA 4U]$NDHM@c_@"5=R(5BZ=6oX @'uq}[0m=־sy|O3el).K| [pшu3ތam&Nѽ8yyHs ,}mӟ9s2/0Sp(qhhj:oiL,j>Mo,/Bp/ -M/+/,.y˹mB^W-ŗo*QQ76LB%|*znWbPmYh?EpC/"  ީOG{a> $SM3'GsN?5mo y8"|]IsAa jMUDʁ8 { [YnikM;}' r_/AH0!M,bu5Z$p!uR`K{в}EW7c ]vs?m|? $})f dr^Rq fODISN H35$?+$e##x"֕h 6Cm|GYL!Q/P[4[xtSŵhԁլgaQ;;R(zy9ǐ+]ˡ.VIµ$\c eJFӾrfQc)0-k R:a1xa e IK8ŨQ a`NW07O%Y`ʿCi噖O;Msi wv fо(ΎIaf .l51$*&ƼD Xum,ϊ4,ܵ 8?+fuY)L9&a]jAE$HGS8Nw5cv;(c BgY @蹸 u&Juw*s ^(Ax`^!+iM{GLZ`Ȯ>ljS _\b 55UBdᶢk`'IL"{2WG-cT3w6a5z^Q}a#; S1;p3c^ڐDFZD>v̢{,c*(I9Um}n`n\Qp77k[lJ0>5Tc_tmb|ޟ1#H"y/ 7΃H߈@1f3a^1,lj$i=Z9O! -$zOQH@"ujigYZ0e948a16b23c90c8091b5459cac6f6b4a988ceab 162a03f9ba77a8b985c0c58729bedfc2c7715939 33673101c5c4aadab9fb20f44ea09474df805e21 ac1e6aaf98502ee6f7b4e9b81376c30f569ded69f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71 8ad8b00859fa175a80839fc506a09472d6fb1928 3e553857d112c4e9d1c0b7aaf3102c0d82bfc5f2 099d6146b83efbe7db34269cb1d2c2c87eecc7c4 50fa91ee8fe18fd2fde8409cbc55ad1420b6b860 abbd2ed3ef0f9a7915461366c5b219482dc844cc