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  Y \< ]/]Noninterference_Sequential_Composition:threads=2elapsed=20.029cpu=34.660gc=1.852factor=1.737zXZִF! %]ŗXf1-/6vR[y(&j-:6@A.UnB ??uh1 kV3h -מ(ca+@^!TQbW Gc"c$3Vy}+f/96?j}/AP_\bRcQ HRv åZwQ=&Z@rœ,!1#*xc ,þ?J)w ů ҇CH"ӵ/mH-wКw -4-|TÆM#j qvC_Y <BeKͱ { K˺t+(⏣P(!INe5ylc=(cC]"Qf2jT`'&V.gx7F%^i)o oљG%Tŏ@07( b } cYKf[{PM(QS:eAKNB\~72W)!X%ޘ>ŶKkll*(/O9=O EKtx]b夈 ,Pa3jںU t|<~b-/!6ⰠFbu0_6'd1F]"vD NăÞ6LDnV 2 t\?'R|TEpT\\YE)˜YҾ{X/Sqe}v &^նG+=.mL\UWZ8])Ё`nhlX?'Mx\p;4܎0FD3dJS3X3T5r C2 yiX/AysI82v[ H{mx-4L MU«OW&֔]К9^:K$ؾu ]k,WeA+:LOAg6R^ն/ B 'ٚ cկgC-cxfq\n_R8LlGU e}pYXJ[3F1a7mVk){w&G,׫炀eQ҄"LdUوߖFĠn,E;#ޑ gxEPiU~E] B_!y =Z04i=~ME}˔јFJ^6=ڟuYF#vaޣ51R#" ΫQQ10R'97yڍ/-|]9*&/o `.-۞xМondJ E ]SNi~*dU <7Le4(ȝy\Ms0a`{p=Y#007cIpF}؅D ogYZe6125b02397468a2a4b375675e61ba898cf885dd325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569d60829b6f21a80bd9f4729f02fb6ccedde1b57c0 )Y Noninterference_Sequential_Composition