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  P P%+ |, !%]Simple_Firewall:threads=2elapsed=39.374cpu=74.540gc=3.380factor=1.897zXZִF! 58]ŗXf1-/6vR[]~~;S0ɞ{]lk'?pD ؀2X/]XJ~jW?^:*3Ţ7< s/ !r; br;!%lb]S+Rqiv6E\EQ6޶3`\TNH\}-. ۂv780ΰ%MScA{RP)Y`=x%PX}ȟ2(14r~?C˲`۾xDPAT 2 dbgs?.QW;'V.-JmY%/Vr/{b}$00RDžcߗcP9{f A F=N4xBՃvQLLsJ(ֱ>W{揌^``fdH o#{5HV1" + Simple_Firewall~=t||!xwu͉ZGj'i'VĢ+  &(ٝ$DNU7pY+S90C~>LtcJ5[TXx̚xˈK+_ٚ-)2K,@7ǹi8-rͯzn?BV;'ӹrKL_ ڙd֙zcm~{*s!vȉ0.&-c,T]uZ 9ql͕CM7 O]6Qڙg0)kMg Lo \u`;]7qw˱;9vjىkm=uꘞ6_a#kXTY~n}S4 |a|}7B#gD)NNB; hSikp}\-tB7C@cMAt=#|8p )81C8 0;Xx EZ VK+E^U5wzA[/ *)/B]ޖ\cI 27X*hχ j_T.A}Kuq|}&܏Pb߭rtL ТZv^3&6HݡEp8 lT '3~ sU3ІU ^K-8WԹ%Qswp-ԣT\ᆲM7Sd޶hH* z+,^Lz&hE 'D*+6c^cS$$x3?'@W'[ garLVo3 ?-wqci8JٵH= hks?R*bPBCWpFEFm i=@eâ9Dqϑ Iq"}[L+ӫDEJ[i-K%yJ<}1ppI` bCBuWxaU~#1G2Mˍ 4v8ՁXŴS|^>,KZ|PU%ץ(l +!b%K  /z{bpRl62X̘Đ}YgW;ϣ eQ7Q6msvP8־'Š銪e{Ҳ,Fv.8B?ePϋt@BƠcʤҩ{R*OT2l8ς߯$P7>x9m51A3:J+6Ӎ:.z)\E}tݷ]o)aPS!C՗Q$W<ɯ*!g?49Nnn6#ŋv&nb~D^@OKᥐ`ijH{^W|w7iA