SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info f? \ / Inductive_Confidentiality:threads=2elapsed=14.508cpu=27.872gc=1.492factor=1.92 ? Inductive_Confidentiality7zXZִF! v]ŗXf1-/6vRZ;P| ^TZ%DAևOt*;tBq[Jr/ws9\n <q5@ a#V/qݜ;Z!h-T% \PK^4=<|f/{U Cd֒N} .[@W m .`SU&*녺9"[v*WpV 0Vm197NGm.h,9[ )9q}nRG9Vb'8eC}s|iU717XjU~H,Z|mZe>jcZ;92U?Aj$'".,Yr0'"'Q%NQ|WP\PgbTUlE,*5KyABP+H!)HP5_i/C6t&, ~㥴ehK:h&;;_yV&QU_n ZLo[dPWnYV*QqQ~>Ul{5Pp7oy' $@z9U5GZ=/Y< ź@DZ^ԓ´f X.؟YuD`C,AC 3ܢhaGm$6qX,pԾH? b7#x|:m6\$7ޟޞqG)Y1a95M,a{^oW;hߌPNb9a[.UF.pfthnE\Ty9Jʼnl鐀_먘uLd$N$E^PI',m \gM/sO'R ]t.a~;8XLz.; t=S %45 :!s#F3Ձf#  ZTq*r=S<R9Gn& efdô;Ø|&Y}S K1 ND犄'0.z{"wۈ?íN@Lstl>n)7XZ0*Td JwE gV$I7}l9?a.>G 48F̠4;s&1y'@vť4Lli8}'O"97'e3ybo9)vfvXka2l>׬I`͜ʺ;x+ze,lrp"xM !uLJ?'CQ>м/oؽnL3t Sn:yj:J0T!88Fz /cK@hClmke>/08 ΗxVQf|ۆ듾;0pb+OkҀOO ۪zceaA9?&f}M#LȨr)`E&lVv$V@+ڧ10PG3"n6|%>F1G>-lqw`*]@y՗xIT5E#dgYZ7zXZִF! O]ŗXi%DQ酘^ ޶OWy kD hh9}'9˵hNHnWO?-l ^Pg|}IG͕ujY6HkWRJnJ /qn|"Ԫ=tkԳ-ׂ\=\wY\л^0 QpȊbxz4hߴvH[Cg՘*Se|7gϳGp/u\X/;"GSV3O%_.xWjT~!FyղFݭEqIJ(+@.&}(/.ѮTۀ\_h9Q]X쁩 è4 00F=9y enI^Џ7OH6UY &y|WMSIeVqz#b38Zy5Il Qvk$8/ޯѠ,U[_oL.ϫ] MEvDRحV<6` &sr&Jv1:MXm=TH"u8|