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 CG < ]/ Possibilistic_Noninterference:threads=2elapsed=40.796cpu=65.532gc=2.756factor=1.617zXZִF! %Ny]ŗXf1-/6vR[2Y*R!,PeS 7ضJ\?[<.E$= V̆Ttʫf(}|*Sr6 &7̌n]YbK6mWZ% m&j7=EİHXd-7>$՚8>s{Mښ8"C0jivS;~׽"F{εLI7Uf$qC'>4[AM?lī1^>9$c]$c[i& )`s 0\i 'Y!ɎvT{['c09:ڣGE'`g  G Possibilistic_NoninterferencesJ.Mm ie#My)ma6 T23_0(.ujHurE3A01>Tri ar4ѥV/eFw3KoY9r='fJڴZVA }Eh`QQ$q#?cS>!4I3I`YnQ +N&}(%´+Iљ']E*77VAe*Hڻze4n 㬩:bcŽdkgH0/xJ(\XZan_ |)El!hԒ\Q J"d l-9a:>{ii`&\>R@5͕ެ]˭듢"FxyL+3qY?tL>8 [b35JGnq}acX˝, AhL(J{yogYZ7zXZִF! \]ŗXiɟˏv:\k4EFt.Z5ʑ@^ 7`D1Κ̊i .+fdg" \§ԝ k;i֨ ,",`{+C-Kx[P^,F|1)-NlcA!{&F".>h3):&$& XDlVd1EUx7@z+IQf̘1(荗ʋF?+F5"6&Rdt_%!p)Vir4=V]Վ\\Cᓠpꔾ~+b֒kϵul״R"y?2'dK^T"WS\ۧ -2l'@QffL0/AfkWd"t_2z!",QHI^Gkx!hpkykTC&Ycsh`5U{^-TAB:O'*A2O0hEMf߼v} EcL7(wcjcJ.lRߩVzjf[c011BB[\ XagTg ~zO ȴc29uI2/LO%TAШY׮'Z AGdB(R+{4p`~7G6b236]Llw蠲6(sQ-Ւ]gMu**[0}e@Յao6b: ?ֵ#ܕU}Gife0j<8Jj3jBAO.ˀdh_ k$NzȥDA$DB'^mWzQ8PZqK#z=G3v95Cc uIi*=^P(CxaHv׌.-O&$I)ߋ:G O`ux[ޯ+R,WWIl.dS/-W+b]b*vrtA_& ޗe9Y\ o-G޻6/gHF2'n_>I@}e(٠ h΂κ_Iq. pW mN+FJ=a!/؜(>\=oLsCgq6A{Iי: 2沆 ԢSODkEl2(Bi@sXME풓Vנ0UL^d#אeW~9P59rr3rJxfMhy|yuZxr_ԯ1ޡ+ȄfI3.\kQ"ʰb:[==f+/1zGpt[.v"qtG2+Ž $q$<]{Tx43UF:n$eb 4LM"z_ {|@ȱP;'rnQm(6mAi &>g~~<*r\*X|g4]I\o큹D58ѫWn-S1ƌwuyW2^>g6Os;'dEĚ2c]QMm) YMl7o PS6)4Я(;yϘycO='{'tw}j`}+@<PHLy05wvcyJe0ǑqV2d`otXM?\tk{6G`rhy&2l-\11׼4ķb}@Ͼr{ˇҞb>GiβIr!2 \-%;|< eE%Ͷ5V^qn 'y4+ҕ̡XB1Cא(,1UZ/ֶ-HllO J>} O=Z!/W`89.hCk8Sgyu(tvC/kƙ`^:| wfi2! +E㲟Q(XƶA*2q=Luf1^^#wxe WP 4ev