SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  1 $ ]]HOL-Imperative_HOL:threads=2elapsed=74.549cpu=70.728gc=2.188factor=0.957zXZִF! /]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi{C'`dHۅVϵ 3/(<.KF!b]3OFOYckB=soōAZly0!\U4P$*P9: "~o:{U3 !_JEE {A.澑{ .46PܞBF6;l<~8J_pIj-PzK=oE U|8UbO@)ف*a(%U<Tǖ!0ʾ.dS  Fp %kFNf‡k/jcA7#](sn,3(oCtwL2VU9j4 b pK|YFY~7 'g<#a Z\"   YVʇ vUU6lUaج `4ݿw R t5[%rmlw,4kWV4tz#HhiE_cA5͙h^Q ?OHu.ߓV4LX>G#I;Dw^?! rޞ&q.j>f66 dfZ˝ M[NUPh3ڮkSipv_LzOkLj" \% yd"Qp~{o#MMEsGF21<ah87bB9aw0ۭ"pfbւAУ۱Pa +1]2h䊃az 4YrgXS"M:0Жg) G G[>(j' 򜭓rBBjuрX&4&r)W=.]oa JvS"M!ȹ7rhݝ{W|)_֩Ѱb(l4cIdaӇ'XT˩OmT)FXѢn MzCCȏa`fwV%+ Q0xhtvYqϕ wd[,أ[ryn`tc)ẃɚ(~n9Bֱ[J^+A_u\˛w̯>a P@v5 3>#HlKdy&4OW֒e9e=/5$kwyb}pO޵Hlf“jEߦ&i1^sK&bTu̅_+QG+Jhp~x@JQ|2H7޵FyFB6 ncN5̓55\UxhW )4}]!%u`^LDF#ZxuJW2B!/Jk]H@Y8Cu)#Ͽ0m8cO \xYb jt 3+4U9Z{ &ƞaZ_&$pc|,DP/8B҅~:ϱZ;Ϫ}e=, z5|z֟ f3yXT E[an0-*ze\5Ҭ-St'xOn ZQd}5GwG@pB:g-d,{k֬^94hP7K=z#ޮ 2YEd9׊H & \;2pX<<ܳiM6Ab1GˮR҅MIASE^*ID`NC]1du(kIIOtf&XC^^`7tTURF?T*+9J}Un$*Q2ts-.)>T@LB.)>z)'K d*aztc}GK$q%nw'M!^9ǩ'[w3We# N[T(8pPƳ@酢V[O@ 2`!y5OrZD|(2c쵸f.SO揾3FEs$(68RviM6U]xIxo(JĥB=_.A5\'BXmcv;=O^VA #_Uޔ kZ:ƳkKm1g(PՊ$:Ȓ0=Ӵ!\tMwH׻BC)_ēP)\ԺYֶ_7[ J tUT§QTfuaԩ&S s~::qъ[@]?AQGzLB'P1^(ж+%m^r#}I~~DCEw: Scn+ V!7ͳ-Y$ 5qWب(8f=`80Eš?kPIp7SΣTP zmPgF.!p Mޤ]*ۑ"b ֻAbB:E| .};6=爆1 'I1okؑtb gr IR E1!*ڡq@anOd5Zf"u䬋ooWu/^!WoS7vNGjbslcGˉ)a-ЀM:$KA9%a*'Т{SSx^/\ֵLEMqgL ;2vZzG\v-Ca*#mLmGvV 1f9뛄E soD ײۿNNm#ZuE/9K`a43|6޴R 3p0oUrT@dy{-}{M1jrff P:>WdKdE+8gpݕf/0sqHw8xlWUoLCWqbΏPXYaZVrL-ɇ(s7rc;z; !D6bV|/f,'gYZa375fa3dc320a69db7d89a132aa2b70f4432f878e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f1235e35f785b765376fa78cea5539f7281a201ae