SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 77:O $| SS Noninterference_Generic_Unwinding:threads=2elapsed=19.287cpu=21.164gc=0.316factor=1.107zXZִF! f]ŗXf1-/6vR[y(&j-:69<8-,Nq?" CԭX QB` Z/H:n>>Z9 _2JdzŨ}GýD|)BJKҳe:6^A*E?keGvY9`6[%%nt4Iw;2Ҭ=l6v}4Hd'r\ݓSvP$0 P!HBcQT]/ҽ_) Ri 'rY~fra0r#^s16t& ҂ii"Z8-o5Yvn`>Oڊe"ۈw\""~tub3`*)>ŢA/2Y$gYZ7zXZִF! d]ŗXi%Ve)b?|můJb>C%* C]m@7BGF+Ĩ1՜!W'[~RC@'2/68*R]Z#A'SII|_ӣ2f:X{TX1"nڬ+c#VA2Zk635x 8*Z a禢M I P׸^Q)Co孵;iLR_dD-wuB)[:^2B nAoΜH"!#q&.I䯐c nB^gs< Dft ~oR&&:zV:zvD0Vm*z+ZS>I!jdz1~SkK7LY؅.rt݀DNy4i2ؼ,;Tw]${>QǍk&|"`"Ft~糂s1KxVF(\xD $%2_[sBMkH\{צ<'Ms:aeE[Bp#Dl΀HV.Muv0^i* 5zG 6ۜJƸ yԶ uTQ F,agQFgåf%" O_ѥ@:_@#,k2eJkz}7^Zajf*~= j"TM-=Cjw@.`tJ׫pW?"u;ͱxAJ lі7 ѩ8C5nh+b ^mYdg窂Gb"̠MGvpgD'S2PMlGM Z^Rhl2+/YQy,9FVa]],)g`shkΜluI[\tANg5;8<=Ȋ4pF4p4kuA Ҩ)yȜw%.Ӂz1bR/( l:N#{R#lċmED ']3EÞN ˟2.烫 ҇ʤyHǯ)ޚ ߧM8"!ߔ6&ySRG!e$\ƋiWkzl7c?4)MDFoU" JdVqdmUAȄZ]4r&  hʘgYZ22c7c96374cc8e6f12463adcfb46622f468d2e5b 570d467a2b19b2b2c091e27249319509409630cd a2ea087c246dd1399266b38f108e1a4dc5a397ff d9d1d3f62c709116a8a81b1f6e8cf7b541a4d8ac80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 9908f622908e2068de5d113e87ad8696c1851821 dd9a16caf594683cd4286adf6cd2777222a05baa