SQLite format 3@ .  YYQ77Atableisabelle_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, "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 ^G t< 5/ Possibilistic_Noninterference:threads=2elapsed=33.774cpu=65.872gc=2.408factor=1.957zXZִF! \q]ŗXf1-/6vR[2Y*R!,PeS 7X8b҄O%j<͆&̨7{?] fV@f~AÇ F9.f!0/͑vzG|\v?Ψ՞7r,u fV@B`Y#kE{ֹm1R5B[SNn^)fzibJ-u@R>@O<&^~c,UGG[)^cwp8ebzO% ^D!1e^@ ]1u\wu(hm?v;jv  G Possibilistic_Noninterferencevp(UFҠ5U? +.UQ]h[DLo3Sv (L1<"eAGX"DΜV0| NJX$ yXmTh)ZanM@_3Y{`KVʐP\nk ({;?(6"gIka! ,rYF7</&l^ͪswVvٗixQ|麈qОegY7D"@E#\HC(nꉏOŲ XRHNK lBW@ UYb|"2S ?"x߷g5:Է)`ZykE\/ՠ 0(zXakN= (+V`{@G @-PpJ<'>}Cu\D-vp o ewSoMxu#FLߖ7h-hjC oA\ q3d:h3Ųyb_҄qz Z=Lྸ ԾxS L,x}`<0Y{Ӯ8,ƀKD4~T% lr%AN& 9ȩO6+RKBa}6ϰX Fb`oH&뵣 })2\-8<.`.AҽOƅyBosH ^a:'YܼG$gs Rs kNߏ2d`<0%Ihw*yG=p52}meo*qQ0B[/S2 ;xL'?6Wg8J)lkFH/|aޚt / fp"pmM@Ρ,!3_$i "kueZ.FwXtihHZdРTf:c6#héf]dݴֻi1Y'(c9@3!*YΟp& A̠.kʠ$)GDqB +8if/6K;ޣZT,[S {;%1b ?Q،*7mf[N!f(3QM([_SL.hU B_b\[4VpɆ"3SR;E{m5 ?ɍal"% ғ2Z('JG%6T1 UI/xƾoǸ7 N5,kuvʖSDI=:=dP664{gxx}ZF|~{"&#pޥP`8I`SI UVQ9{RSCh2ycITzy)40 ѝ "~˚%cyGp%5)oR~bD#`{(f:S2ҽ=] ӝ˃Arڪ /wц}Y ΗzGAZrg_([`vW[ˑK4h5_hхoe-Ƿ}co`Adr' /zwTF Zvhb,V,i |i*`m[˷ix=Cmq/]6)B;4܆}".= O**Ny;PlY_/jeمnRlv՜pCpUS[kyEvP*@ zkQA4d҉y]zjʞ{ BHr림d| 0O8Y%)Aw2Ӟ my5f2k#^7=1qj G)sGz}5d窂^g3qNr p#9!%fYW֌DnY|pҶ*za\%8wg0Rz'Kz݂^MtXrC/2(UՖ>+8 )@sFv3ϱXbovfsԏǫS߁rKW\iN*6v~ 14i!&,2 O'B6HGn bm0ъܧ%=6H\'~,1S@I'E{ER"zY̙|G'DgYZ7zXZִF! ]ŗXi%sr6hX)1sidٔH=82nA]~?3NڼzhYBc-E鼩_p/(ڥCBot[!\@0~ COd{Ev.WfsD ҿ'.C42@F_1!՚Tg>.}Z-wUi[Zb1{°Ϳ,yV]Mj|cHRaq8u`{c|'}!mNZ3Xvoq^L k_NԺCE{@fk, AU؇2Ě8:XSxwFYc˗oůq̲dbe {~CsrvGdk抱o ["sS+AVyք2a<笌 A浨H|%9Mx-#MVyzkdHu6￝G-wwOzq:nSc'4<0*X1.s8J&ʘ֩Y]x0}*m&tyy@$aD4tHwޓc}g6 K:jv+侼-1mK A pFG\h+GqmtK}s-B"p^7KpLh۷; J[6zUY\n:Y6޿;nڸ +TE1سPL-eۜNbcFdІԁh`J9iKS,IUTU_@!$60 JA$rG@`5Rp=wfSw*L<ѯ-{ JI"iKcpzT `$JQˍ>5%6|7EJmmѲmO\N@V}n6#~e{o7dyK5%U3ZTgpv+2r%nh MbCJD,FįMDw^ؤq9GvlQ/a]hb@ggA3; Xev>T-uM0n5B DbZ?1s[  '@0^5R/`ٿDSQ/QDY& ؝A 'ګbqFT;-_GemJi*eS+,0 ,}\sBSW4d03Hb>VNpLFTNX[@p1X|; . jkR)5(Dxsfe&Y7 ThrWH-v>%Imj* kt8A,XkJoڑ+Lmq>31v;m_Dyi$ {qf\23OGB뗵*;B)AWŝUQ9 Ic|:xf]VA"H_a@Ϡ]SFnBM:# BBd}տ)nh)8U-I3̑cSYyz< j.Qj,?nxuc}*ONNշPavE'm#<;,