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 bG dT 5/ Possibilistic_Noninterference:threads=2elapsed=36.038cpu=70.184gc=2.832factor=1.957zXZִF! +9]ŗXf1-/6vR[2Y*R!,PeS 7X8b҄O%j<͆&̨7{?]Iǘ:>2Ӓ$$ O־r1nD `Sk4M9lY1V?\81K aHzt{2NO!,\ʼ{RH|p`93։K[e"yƥ5>۶xy*k~9n B_пj(Ua䯀vdWyA=El2pPy@[@L4=9;ĪzeA -#ŃI}D 4#M ]횛 yR+irD9t&t.uJӏ(2I00GJLus6~JK)  <|Α:xFJuy)qڟ:FG11J:5j3'e{Q&4yGGSOcg ek 1(Aq`&ZY"Pa645eOJU;D5`aŠ&6V%2!gYZ7zXZִF! ]ŗXi%3gI&ZoY,`l:)dH #YE;>Vk1j{I{V*5xczXQI23Vxp5$TۧaH~Ȩ.&(.@Ÿ[Nt(i\690NGjSBbD d @8 1 ۰f#~;=9㘘VLP5 > aR(.A#[SzZkC;&y/NjYF5D _j(|6ۅMF*5? 9XTqZ#"h T#lznGx|$joi2+DI 9n,"sn&Pd ʾ7ːa@E>21z^ #< ܂j6R>ƌ% &F1'LߏGkrH_櫈T^q Hpu۲?uLw0LbE\b,kpC=܈>p 5 c􋒅pHBa~Oi38.G (O/6}-rİ7(S+Ya Rm "B(L'WR /~sq;K&JIJ`yB/f4hhHq`,r\Q$_&C|[Ԧ%WP״Gwi9Tb5[(?wbK 'b\PdMC'DB,,71PDKn?0֞7PW/5n;'eBg7dx[',Y1.b`2SiW n,GCy pl< OD<ϖC,ʠQSdbSYLl v}d͖؉ ̀Svb3=yoh/I4ЉFPT&Q@7mK9lQ78j-#eW :[mar;/wKSmv< lum ?fi`ȁ]U:Bpx [z=(T|!㾎Bf̄Bt}_a )orˈkb )(&PFh&XK+tcAͷnיb:`tkdl̗kg "Cd.'[Yw1.㚶63,!$+w[yWs&#Cfup}O]7Y[tԮ"C_7j[H"&: ."3A/:ASW3H9i"31)e`OϾa1 P:{:xTbݗu6wzŷX&0lQZEc$ѭ^=RaiDX[7@u/EѤ >o^A,iۆ0#@~jI_v5W6ɒaav>iXTO%VLJ+׃P%5.ެ VSiY3ipc䊂SMq$K-RLGٮaR6 ZDszsM>ۈzYg6(gYZ097fe023157ad432c9e3c3a6d2aa282b589c72a7 1317fc8a095f52378eaa130373849e0fb81a38a0 1a2f9fc78afb3017b6396cea9a9628503c664339 235777c2d1a74a01de383dc4aadc232eaa738e86 290da6c55e9f2371455b8505a491ebd93da3f075 2df63d3c6767ecfe0af25c323dec31654d5bbed1 45c164d5433dcda13afcd8daaf46a4ecbd09f613 47f4b050c281abbde6c16d53cd456c25a2282d5f 6877a7d8e5ef437253ed291337f55f7a4b3f2e44 7bec55a312be21891b2193c9eccac108c322fbe9 8fa08109c1fef58b2d22d9b28a8f60e23a0c5f85 99b39a8e71886c297f1239a557f25fba2f62d033 ffd100a281e391c21b3a2ae58d17d7ab6cb68876728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7