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 C? td ]/ Inductive_Confidentiality:threads=2elapsed=15.001cpu=26.636gc=1.560factor=1.787zXZִF! ]ŗXf1-/6vRZ;P| ^TZ%DAևOt*;tBq[;xSiS=J< -!uhPd m.JZy/SOZ PWVEODӄccӑY*J%J161W%Px>~ŧ-dY0F~/DFݴqr?]ڱkC>v@9&|FȽ&3҇0g ZsRx>bdC@otu8jPF KB⠐=m?ā[?. )˽6!4N"账w#?/!{e$!}21޸̟-2Jm}[Wg 5g#tw$o*Q @͒+ҭI%76gYZ7zXZִF! ]ŗXiɟT~@D yA, ݊1S'P <~Ч0 & .8Dϱ2T䶭lMor}{7BfN;Rvf9'nKf\E=p(StPb,bgI+zǜ_A3{Ni ]\^-s>Zҏwژyq 4X[h-AI5ik x4gYZ7zXZִF! YI]ŗXi%W~[0jՖ4NG%i9p㶎5>% C"Bia ca^|dǷ5f/RXig,HUpL<@4MurI2Ge)ڸ3Q_f;@5֦1a$Rr$)~J8l!T,B8ܑ:݄ۤa 'U&  A_@kﱾNcN/-5{aѕ}WY7̟ vRlP}!)n h#ox;-;'~MsÉ莣T.Y|"ݛ`,.0& 1ם I,`rb_R?l2toq5zr@ɳ\'/$B҇!/w}Us񉕩Ao\G;-\|IJE"L&z!Lja<.5Q_ؒd ,qVC,I_wkės,궲"u\zꝒ<$7*з a|c%>7F)[us U(QmWGbN\hGu5[ՏN$Ɍ<ᯍPd>BlF9F&j#Zօr EBLDY5(u0t->  [l>7 a׸tBj5) y3YjwA?%wGTGKSlOW8>"=9̚D{-?'>,΂ufk!/6ӿ_>#u@Y_DBI1΢JoWw0Fx%R?'X-?.LO)Axs&M9|5=Oq,%`Z5 -  ʲp%gYZ4a5a641aaff81c62097c7529c0639cce291565e9d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e ? Inductive_Confidentiality