SQLite format 3 @ . Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info WGT\ Yw Probabilistic_Noninterference:threads=2elapsed=183.223cpu=290.376gc=8.820factor=1.587zXZ ִF ! $] ŗXf1-/6vRZyѺbO$°xYGݑ@ -I6o#U|~sTdڕn(D lTXD)r:X o>QZE#O^Dy G=^0LsfG[(JaS v1YadT2D^A= SQ^ɉk >Z+j/O9;h> o&QtLb,YWVǗ3gKO{TYFd!VW~Ӝ|Szf1z&m4Nߏ9X)3z5F[ԿŘD d$$ц=RaWtȉj'f25]:,Ϯt}x =Pƌx 턜&ttF ϣs/Cm{F<^jZ)) lӇT?,AӦ4U]qsq] XZGˑۈGL(Bhi? rG}86GB!IjNJWV$MceTI> r;J!M 'y(5V4A$ODz[V: LB;v!nQnf=Q'ei ق͛O^ %H8sԦ#k+bB͙$ş۠?GlUɳM]ig(9 oתɽlU,5nWaV0t#@Ym!ӤNc6TJm%QRo+t,s^