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 hhO |4$ ]S Noninterference_Generic_Unwinding:threads=2elapsed=17.478cpu=19.488gc=0.296factor=1.117zXZִF! v]ŗXf1-/6vR[y(&j-:6h 3p#(^,B9 9P"{YVL0~XStg"}YZ7zXZִF! b]ŗXi%92m/XB[?%w[wp -n\һ\_ ,S f]9glg[-Q^ ڥ\jN_<븼Oi0rVmCˡ)1Ś!-5v} C4D=mT@{h>v<32~qMue (YL$FdλPd(qf_TKX<<-mM [7Ew-ViAϘrM$h&?zij~/[N3ȕg(=S* 4-]{=?Iާ%Dƽ~NdRIW2 % Wƌ ˻K6BP0_A 9nKmx%+|]ɟpV?_Xd .CBԌ-讁xl^l¿_w\n:ܯQ3|IuX>SK`x\9ؗjq;i˗5(57XVbrxI _\eoD}~V"C\G9AH-g<||:w@g@67'/b|I?:U;oErr.&yKC'$YW괡QSd֧m޸[}/&6|lkk!{i2zrD 5;r mִU\0gה1Yd&AВS  W~i,wΑ0f SSC_?@҂. 8):Gh/,bSɸ˸{G"P/Y=ȝcSC*| l$/!ʮH?2Gƅ(&ƭf%"_G5^$вaj´(þXpmg/?Z(V뚲X O?*/xɞFp%0Z<ȣ~UDk5fX<CuZElÜ]Ł, uձgYZe651fc4a75f7c288b5d9d40e516322af059a7d8a0dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a ab470ce8cbf14fb842dd90f85aa32bb40a90fd06 81ed161a43b3527ddc7afe147e74a3ecf3986411 $O Noninterference_Generic_Unwinding