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 VG  5/ Possibilistic_Noninterference:threads=2elapsed=41.848cpu=67.772gc=2.572factor=1.627zXZִF! %S]ŗXf1-/6vR[2Y*R!,PeS 7ضJ\?[<.E$= V̆Ttʫf(v@E ;r0RVwLՍdϢL*]8 72|j3gɅ*ı,k.+ڌ Qu׀o8:PNK9DNPOs؍|u$Y1*@= >HC3g.AПj1b3&=qB0pH+fI;lk%ܣR8e$c*[anHYePwxZwmm+5:e@%_7%T4y_V? Hk:xCCw w>VE`WuꙎ{왳N*g++II'&*̞1cd ےKhHqȢ$Dc<_AQqXݧb `5Tߢe&3ƺ,]^zU%y$`=btG$5{_= ж9 -JN!{#)wLD53og)5h(8*[5}9hN!p%\#v\b2nTf'$n ,lHZ@-FkM) vc! an Kn nӾ/uNFPh"=9x+BYx:Ydۘv6RVu#A/V :ywkB(cȄUP~Dt7O%d"PRh|v3>X#7zt\<;uߖvCHEsV" xb7uiX(j9:TÏx!\L(_-k):Yr%괭~t: H7=%ڃK#T7}mnwΛV]\HxgYe?|ݕ .uPbW6}Z:i \.7XVD7 tXb|2DQ:g"Ep5ntƇ ҽ8ktWI%ȽSgMl/܅g`pP 1Vb,jN%c8O gdRh`5[^plUfQ:4:!+Po!|&XH,*' $ٰƹ:l@As )TΈeOBHcӯj ia8_Q؜`OYdg^Fpt?P?Gav[+-+Ew|q)QR͇IYmTE %JߨB{ltB˹McAu^a)Sd2f{ҭ/k$R%_9?xc$3WX44sGQ)V5n:%gd?"֦ ݋OI!s&⁤h5hI5 uL nHCKKN զ"S|GrE07S*Md8< [{Uwb&vBFc^ ss;esSJAk}qXv$X)cE%MXߡ.R8%AW{9QىjyPeъ&3XWG S܏ q<2qx,홛 dH!IyWsO/bԿ"@ :l|0?ujI 6C,rK g :E: 1T Tm) 1?F].Ycq[/dc2S9 F{DnÀizA`8I:0CEԆO[ʱgYZ097fe023157ad432c9e3c3a6d2aa282b589c72a7 1317fc8a095f52378eaa130373849e0fb81a38a0 1a2f9fc78afb3017b6396cea9a9628503c664339 235777c2d1a74a01de383dc4aadc232eaa738e86 290da6c55e9f2371455b8505a491ebd93da3f075 2df63d3c6767ecfe0af25c323dec31654d5bbed1 45c164d5433dcda13afcd8daaf46a4ecbd09f613 47f4b050c281abbde6c16d53cd456c25a2282d5f 6877a7d8e5ef437253ed291337f55f7a4b3f2e44 7bec55a312be21891b2193c9eccac108c322fbe9 8fa08109c1fef58b2d22d9b28a8f60e23a0c5f85 99b39a8e71886c297f1239a557f25fba2f62d033 ffd100a281e391c21b3a2ae58d17d7ab6cb68876e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d