SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  ;G , ]/ Possibilistic_Noninterference:threads=4elapsed=31.579cpu=83.004gc=2.240factor=2.637zXZִF! .=>]ŗXf[&vpjXD4ALX򓳛mЅm3TIk'~2$)q{-WW~>oXd}f5&.-uIB vй-ΊcJ']WJ2[_G̢i!;eoVW8_yĜ k w k?B:w $*lR2+{뺪_ Uk6Y{E8\Ipb=vG_ `ӽ{Q[z` g\5SI y5K)FӳDyXVߔ00” 4d " R`_i9f77T67h 'ma4:sB ( G#9 Oa<W"7dMfFr vZmwd Ca106KXyMt=,1:nz9 V[?.'h֘JgAizyxt#l+>8rhBD.1fWa`Vd8&4b?Zvpo&GM"{^E,JYOI>!J(𗄽+d(3A~1UV>ZUk3޹IꌿEZ#@(%8g ۶?n>"Si+|^q.XzO͐$+{vaS ݫl]e -gǀ3;< XqB 4%+K\(NرgYZ7zXZִF! ^ ]ŗXiɟˏv:\k4EFt.Z5ʑ@^ 7`D1Κ̊i .+g"摀F(5~,.\ToWpRYA.xS]r6k&As)2EO?)j "r8Hcq]4NeCM[ Qr #Ԇx^vxh$y4c3iL.@@8oںd/g92=?yvI&Hiݛx% +_$b`hpwQ'7 */{*=Ϸ{x\K^DpjccbelfLNSf[BJhC9:P6THj0VިU4$gv١Zj՟GR TRMRtB8U@WwpMa!=$JA`28pIMdA/Xh\P9g!˯gg)_hR~G<ѭ 20 ?fAu ,jډP'+ z-p@veMe)Y7&G(9r@)whمpΊ[[4-l'F,t۷]7=2`<x깋!RX/؍弃8 Pv%sw~/A'^x"ʺ̄t Hg;:ܯ 4\2bfuZ4yI%hoSpGF LSYbpSyꤿF{O޺7}4o EvYMi-4ǵ7.|l)?J_ ΁Tʓ @u (MLΔUF=iҸJo< y7]?h{BOİ}%/U.NIo>UE5aAɷOvX+*/.Fb/lvzqm1J=>χSw\4:?fpraR֒zLG҇j G wP)@*|X0T0yCJ-rT^µVpSS8m\޸:5& ɧ*_Yl(.pwz~ 2iϊNVW*@i]QƮ.Q>xVJ7q!&p{u{ pJSe)S z8#b2O`^w0*]|. K"~sc@!9 s|6O45CYڮ'"&h<[6"~/#ΩgiFZka/&'d~qbMpX/)%ݓĝ)q/ql]--޾f|eaJBrn֕e614k;Uᗜ!KȲ^RP ^:AwrpFƧnuJSeG }ߦͰňxfAꨐ_wț%ZGgxNz*'x2((89=J<TOaT1M x| V/LREvw/c(mۘI> [bnu E4[H16tDI|eXWjrɦ:d):hT]7H/9ظ[O.L|DaUphf$&iB akM[pvQ5#)ĒDU+z#4-Tvq=)EN:;ucєn`]6xS }Qw^Ѫk}iih8O>~xKzzي˜,cؑQ2(-W bM0 %T[WD-fmҸ2"]H8( \ Y!r3К{tŁMԱ';XYJ?LPF+Hmns۬b^,Ȫ"^EEVk8.\\۲>)j[? g/9e3 P/%Sڤ&|a0t ݭUGkgPg^L&ӭ"zVCrU8Kmh4BZIN1!C3j9i쏣9an^<]f'%u/+q ڑgnod0]bڈ<;_н$(5=\܉+$[zhPxr`AIlIvY$Α&+VGXI1Br(\؝D6_VAכ4eK4.$Rݛ"![,H^`aw%Ťu} p'  ZZe4[&i*1[-kC7QWcZ.&;h0(H.Lʁ1CsƷ8iNJKNR|Ih+ N`L&