SQLite format 3@ .  YYQ77Atableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ^Y \T S Noninterference_Concurrent_Composition:threads=2elapsed=9.405cpu=17.868gc=0.460factor=1.907zXZִF! f]ŗXf1-/6vR[y(&j-:6 ĉl&V',&-P*_Tad3["]Ye/M>d:C_Ofaׁ,Rѥan<9*B~w&OoXL`$5 T =~c콂]M Kܧ F Wlr+z_dG`#/Wو}wL}!3|D@(Lv%V}2Xfq'݇6:1- 0w*#N 1X w~XMjIݒ}#e $J`xN 9Ϛ0Oy.v}Ug!׼?wBt^û1Rˇ;TO![t]Hz(fq .w<)*$J^WgLc%4ر*2,~[u8k1,?h P$ V K 6g0" epg/9JvZgi414[ $G{$RnhX̖e~fP,p3_@bjAMd&z?x/>uD&7Dh`/Y0I7Aayā^ueMݛD}0椋8)BEAE;#Zs|{ XCY*fqGg6ugYZ623f464a1885b937d61b5d7e7137decb83de90eb 625c9b5de81f88f8a6c956e25ab307d801f15121 64dcc044475b6dc94e7778cf67c02785b0bf8362 d59aabde97feb8b443de5c36e73b352d04a57228728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de d13dc0f08ddafe90e0932856f0622300a484b081 )Y Noninterference_Concurrent_Composition