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 `S ,$< ]/ Noninterference_Inductive_Unwinding:threads=2elapsed=9.476cpu=17.952gc=1.124factor=1.897zXZִF! a]ŗXf1-/6vR[y(&j-:6 XO}Ēw^@H۠7?wgYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGfX^GA0ǥri@{f7UV絽EO 4 D5PVG Q]Yzg#֏/}FИjYPj6{I.$.5A2͜?Ā[ъ43/]tft9u?-Ƃ'0gYZ7zXZִF! :]ŗXi%;:7BcP#a07o"=>"&TH Metv~Żtˏ[BQ#;kvT|8ᄙo7+v =s?PTѵ',tm3kB_T݅oꔊ>KVWh@H8X0 [.D.lgy鳑MnY ȝ.L˝D߅<-rN$:ij(fK~( tL~Af?9,pH oomu1LI,3y`ʬ.ţw׫uwt)>o˾)b8Č.?!=K-/5`b >ZI+7q9dRIs՗2#!x^tBJF>'_^,n'8dӹ6G?͡8 bgzƛ-9vyI}pkwS ;F,K5FR쩗^{ޛ%VmE_ P*MzR [R8ZuƇ_E2C0CSuG䄂3ݯ̀P׍/N yp}X%󏝳 %S4EyR1jxf4ga pӈBȾdiک }-cndp̾lxoԎ*eRkC 6h*uESжXEMz5{)ר ڿ] Rwo4 y8?n}`sz eOi g].ʉ><`:R]t?5:| .'8 d:~f&c^5O 2G;II3F5z6, P7K\~gc=aADVI'#)w&0[ kQ܁w/A¼u5AOXgYZ8c6735e70d4341e6190e3e78d027f5925d8809d719483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf &S Noninterference_Inductive_Unwinding