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 lY ,$| ]/]Noninterference_Sequential_Composition:threads=2elapsed=21.159cpu=36.764gc=2.056factor=1.747zXZִF! O]ŗXf1-/6vR[y(&j-:6if/$:`ՏP!LsێC5x9^J|2D]9LU ]薛9Y!=6O %'x GlȫiqIeGތ׊ICYrպ*Na:F(UTh*[^=;lDO%m颾gYZ7zXZִF! u8]ŗXi%;~ W*" $D7KƎ +e(s&0;%òTTx#<լ jDZ r *zW޵5ճw J2T] q 4+ӷ$g_5-z7=ΚQH˕#; ~H7'2E4@ia]C G8ę"׀x0+BmBmTk"¯~.&\0M@,g@ݡ,}H6L@BUA#ΙoGsxݬŴFCeH\Y|/MQW|rpZ[0̵$b[2{`2T^Uo(yA{)I;IgV5]սBf][Oc?+"Fdn,S0M<,sAB}7 Hi J'O3U+竄^{Uֹٟ>:v JCA>MU ty= ~^ 2fŬ(GpA+I3AXR%ĸfJ$Kb@ =e.6#0aj[Ycuen6E؇*HLqB{6ʅjO|s-zZp2Q<*,* I %} TPV\'c]nBKuΕW&=]  kSpsaK 淴ԑ]1!]F $Mk@ҙIG Tel[Il't+.^%׋3lu?,maty@`z:q\8XK`rD8uҺE=#PқQ5Qw \305*69mK+TA,\R[A)Fmqd%fapD7uW6kr A{×o؎' >"S 1%XҎ"ʨB"z匷MۀmQz0\>ߧAYEbd7|8RE*HnSxgR\wRiZ ֙^m+p0@bJX=&04L$_AJp\ 㠺q*]y*LA~WYF.5`i=N>lcyכ<2wMeXyyv5tlw1$0߶54u0íZoRz=w