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 4 5/ Possibilistic_Noninterference:threads=2elapsed=40.906cpu=65.960gc=2.568factor=1.617zXZִF! &]ŗXf1-/6vR[2Y*R!,PeS 7X8b҄O%j<͆&̨7{?]߅ZWl/  }S'wE~yH pa?潪=qŬ)yQΙ!7'ྷ*'4fzͫGi㺔B2Np/nWtɉ喩$jAvIS]vѤtd Ҏy֖B{^\uzISl;q„rUPɊ?Drn5y!H };Guvb*6υxcSB~xi3|jlOok]0IAl!f3#XNoնs4BaRw6MR*wBbRϮsijzFJҁG,BZ'L(-}nc')֢;)Lpdg 4a4qXG9xٱ !s'Ji{iVEĠ3T/`~у hUNsc6Vm ;<(`H%&$(gnG^4ʥaX3L#)l)ZK)ظ/,lǃs۹W|;JEaMQTZH4PWk_Ҋl";@D_ֈKw&t^Г^{}!) y _Jd[wل >M뉍5?$ae<8>\%#&em^%?lUŒhU U7N>w?tpe%2c"H=ݰ+}ȝm_MRBizI)qgȓa zm7 5rG2vyɸ2@Ȑᵓ?`E-Sdc[~@-;]*ö7 1A]{k#X^!*I1%~NС_LMހI 4>zBW*N&WŤz2C M7S6Ǒ.J*U[ @񨪉J=u_r5L0~ 톶3dt(Fw+9@Ygt:Mrb\'6"&Z"6'd'[vI-Jr`t†I]'9F_Idjc.uoqJU̞0~!Ŝ9f!nsayFw]\ Ǎ˵\8%W'7Jw;-=PO8KWdXO (xсB˨m{ {@eXyI(~ʷnf ~©A%Ff`i)sdYҰPA 5V@F{]S[d9`D$J"L+hɷ Hd |Fzл~]!׉~H2"10r?ra PbUٙX3rxCZ^cv{k4RܚaΫ'p$2u꾛Axc$Oy37wBpG%3u_!(EYY_/ӡsؑ0e$)ż;#ZzH!+#lscQ~YW8 `@zdm1ؙ&z{i?ƪ:yuPqi5BҴ{bKfmr r&V~pz4*ssy&`eo14ҐSKt "wZA#dOw8`O{: ^.`˱lxQ=vu ሹĽ7[ Xi0.TIp "EXKŽЩ-vŸ10Y$WX/M*E#|1 l ~2W,#kx)?4U;"wrjw"rㆌJ89}f0Gw *A7G1Rpy]/Odx9ӥW| 8ͣ aT߱5㩴.'A7SÉj 11V̓Fy[ώk5H O4 v}&jC(^mtD׳XrtiNCH2.}we's$mp( 4oE"3ڼ.I(S.9z1d`vXwvS6ӐebBRi0vzJzm[Wo{TeMV-g˶zr3(?7f`7~1":'FW_PVļkby1Vc)l7#jLqQ7Qt."*7gzeߺ"LI@aڑu]pϱI^; ‰t>ԔjՂp"M7!0%?Z(x^]De"3FpڪE2u)hǪB0"/T0b;EiJNS.@QLFd=jPՒ͹/!kj:P}D۶RqcCȿN6H%>ՆM[աiPdgYZ097fe023157ad432c9e3c3a6d2aa282b589c72a7 1317fc8a095f52378eaa130373849e0fb81a38a0 1a2f9fc78afb3017b6396cea9a9628503c664339 235777c2d1a74a01de383dc4aadc232eaa738e86 290da6c55e9f2371455b8505a491ebd93da3f075 2df63d3c6767ecfe0af25c323dec31654d5bbed1 45c164d5433dcda13afcd8daaf46a4ecbd09f613 47f4b050c281abbde6c16d53cd456c25a2282d5f 6877a7d8e5ef437253ed291337f55f7a4b3f2e44 7bec55a312be21891b2193c9eccac108c322fbe9 8fa08109c1fef58b2d22d9b28a8f60e23a0c5f85 99b39a8e71886c297f1239a557f25fba2f62d033 ffd100a281e391c21b3a2ae58d17d7ab6cb688760ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f