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 G $$ ]/ Possibilistic_Noninterference:threads=2elapsed=42.083cpu=68.312gc=2.796factor=1.627zXZִF! %]ŗXf1-/6vR[2Y*R!,PeS 7ضJ\?[<.E$= V̆Ttʫf(/n&djcm9rD0ퟧ iV׈O,l[0OWK0epUÏeg\Ye(HA9~~y_p9x$2 ;:dHBbڮu귳0[ PB*P\S|vx0tR5Md| tIJm>** |ow8`}4Sdd9&a  G Possibilistic_NoninterferenceVUA 3z 5 5¨*j238ǓDb6.aJ&BW#rh0DG@z B\6duh#Ium) f=]4-BQݲ=J/8ZĦQcd^|C^}C !׿h#hx>R#B߇{j7if_Jbwn@tIŤ#7sA~ cdZ#ڳ yuYZ:*Va?3Ԧ??e\\H*֧yAKe6z ]Qk@EiMZK\"xW[䒻7R^KfӌurwUɭQrF3rī,'W|3ʔ\QF'Z1ͷ7Ǎd,*t)gg\oZ4͎ðrcٹ@kE2gIh[?q,jAWlAH3VK|8 m+~xbMqJ啩VШ/x8m)q?1g]Ơ؇;zvCHGX & Fd oD8$s3F׫*+*C|&gNkrcɩ%AXyNnH4_ێg.=4+eyMWvgOec}qh_sI{GZq-cN; K?s >Sgq@Md>_^m{#kGٓ|f`. g Ǽxrəy|/ vRJPzM'Wc. .M IxsѥK{5vMؙX́NF-( 7P %P^H irv PJ$&O*7?Jp%[vqqI YDXiӑGɊ]ZnO$Rzafwbk#bd$DET^@*BQc^pSbp_lvA~@tc: Yrl{W';4 z餌gU ™/nڰ8G 1#HEJЩ0qt P"M-yTT"ut2Q#Պ"u:o&c 9fЫtq/H"|y(Mi,hyR-Lk4%kvywW6&#$c0&f anW7+/?]iN.ve_ κ2 -"ZP*>E:;9Ԥvmh1Ũ\0m%&_PN)_R/- v̤x6TjJ:w+KVSoƠY'"LoW.d]L2ޛ@`<MF~g0VYWI>