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 EE8S $| ]/ Noninterference_Inductive_Unwinding:threads=2elapsed=9.255cpu=17.572gc=0.944factor=1.907zXZִF! Y]ŗXf1-/6vR[y(&j-:6y$;q;DqŋC T_41`1f 60α)҇;1Oo_@&Ou gYZ7zXZִF! :]ŗXi%ή++K^|Ss ̘ȔQaZgMg4|"G w&AE$ӹF0#hB^L3i<`ѿ!%&xoqSLz?cYͲ!߳a[l^ÝGUXc2DIupu&:޶zr[ AkmG"uB^lcj?{FHw"$s_/=‘3'8XI3}`@R#ώ( n>b[mL^pƦG Q~a} %`E'qpr m^t^fpZ`A)6KVR2-]ls?-w]MfΡ^9ShY@#!,P|-9(R3$Z8MlV?;@c2)qE ` VĪ5 ^ *k~L3Gzߡkۘ<<<78yLEw ['h,u]H3B5H-Vm/{&C Ctȓij<)X0#-F c+PwA51T"<xB,w /2#b\*4\LlW鎊 "U0ʝ)l#8OHS.hYc ܉n&=*~1ٿ ENt=y5k?EK  4Y0'IfrPEE 0O,hlkB]bIIt xd>.bg^$ɡH-ZEBNz[pѡ|߉ cd;-D!oj[~a#w.z{x_)҄>z X4 VAK$hxmugsIQB,Hgrg&xWuyTgYZ0898e01352315ed0d6719c0fa5ea30244c2fff7100b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 &S Noninterference_Inductive_Unwinding