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 776S ,D / Noninterference_Inductive_Unwinding:threads=2elapsed=11.403cpu=19.976gc=1.088factor=1.757zXZִF! dt ]ŗXf1-/6vR[y(&j-:6,duW^+(0wLy\f4[{l[vyup•*b2~_*#kN5$:n37)~eMm.}PJ=MWgŮ&MuڃRR G4ӈ|Pby#mk9u648\9BzoBqm/db b@ڌ?=~͞P`Ϲ^*)k ey۔hV="@߄Xj'$֍@yi`Z{=B[mSo\uW=ڥo0.8FGV' <╼R[r[b,2GsAHQYePf@rp8gycd! Ԥ? H Y;cXJ Ζڧr2iVG|hzaҁLx) ۡ'Q<(rþM{$7ĭ+ڥލjvs!A d(eԼ`OBYT\]'d䫥A!@ގFC }}[Rfp!r0lGOMᣘ%Ύ5 w0.<dT6 aZAH5(\"WA9b1>?^Md熐9Qܣ~5,'xO)Qd90% ^1#}e@Ѩa)EI@6g,/<)\A;~ u$p~@.!b 0arMN4_@CMY_4͡wg7Ϗ$89%"D2[!МmP`Z:^Ru3[L,t .Rs7o)5*߂ZnQxEp:iugYZ7zXZִF! ?l]ŗXi%>8Zbtpv<[ U(d"CbV6|?H͛F㖼Vl'1!~NԹcD8 &9I#ƪq(( 53M}1>A4=Z9 ATo/"( `2fcs4^3dxdN+aFFRa:R'0$,f9d 8 T0P{np J "@s~{_*p2PBf[zY^d1( {jsbn= ~>۬ɳ ;wQԼOs>Ŗ*iB:L-ZHz#F<7$,xnV[9n&~K/"V̈́T1n?rLxkf3xm+ȃTDr61O<@;ձyԳf]j9hI:ijܿ6|)> Z$ Ns$3;ܸ٧>! :la|YȓJ?`Wjs8,V>Vf N# ?=qʈ( ~4GA=iaYS='#Fx=`Me(<X]{8vYQĖē"Z4ڑ[XOA~/aG0` ԊA$7(eCs)ڿNPMi|ƁzSmH߽pL