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 xE | %% InformationFlowSlicing_Inter:threads=2elapsed=34.209cpu=59.108gc=3.112factor=1.737zXZִF! ]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#p~)ҰQ7oL8t4R+OmL WrWG?^۲ hdS-|LNpbH^|r Q<*=Y #"XPa+xEDR$?@zJ` _, 11dI*[(&FJ2^ ܶrk?1RMW6+} 1P#&F!sd´j ;c j#2޵-nXRC䃌IA^>="%j|y4L}E0$P*}^:(; e=inmv)"cH-y@֜ =JT|Ҹc8eڡf ] tIx$x'6V+{A ħ?cj I#~tI!S\ӨTtXAf6C.̪߫6ی5I3{x>=KiB{F45~Wۙd[z+ڌM 7Î}#kudd^ɶ@(t;t= S0hqBFզh*я҈5c?b9sűgYZ7zXZִF! F8]ŗXi%6jyw$/u(^R!ӵN?BfKB،̔UxEi-1'* ߕYu Z?#*ggLfk.[W0/9k-Z6L[3XOdﮓ]0;`7Bmt$X7~ Hp_9k7gߋ`%WO̽?FS\h6RJl݌~Byj`F~t>hzrekuѴ+ !u ǛBݿeCH#‰>>n'E6oCz":bqᆺǤح9QsӘE|zhqA[+=G?ט5?qR$k=Kofcjʐ&w3c(_f1bL')@sBs:r@t#ϼrŞ*6p:ד8Yt,w|3QŸ?oݮݾ{#BU 2+Y1k1*p@f_?rVނx_ B|U}VO}-xݣ3xlOoI1h[Gh 4h;u F@ "`qmq*7{ځ$!W.箺\s vd ]wL,[OUV>i9UrwJY_t.s$j[n̅yU'OzMP+b61 !촄:,z .9٢3g6\z.klC~e+0S^e j&K֛v*ʼnR /f@zivaxsVJ6j GfZw6 sr8d[hNxQԸu ˀ1}ʁ$9,BY/0ܖEe%Tz=g+87B@dsITWjekYȍ뿺78(^~O.۟zIό\wbn@ +Z[jt#DnLj6":T6ОEC9/]Pq&طP q"Z󞘦xGyU<'Pʒ)!)Z}l]mPC 6yBrV=LU5cEG3BPɹG 'LDV?*>9*XRu˷xOR mK(gڗ Rs/0ajiޕ$/* ]:6xx t{H}gYZ2cf3ac984326e5ec979e2ddf440fc22ee8082b5c 69d0c5385beb5869d409d00e3901fba31abd9b06 974e8213afb6cadc24ac67baaeb3ac914d640b71 9c232d7029a1b9134fee70a1ce8162a133580fbf 9f0b4bbbee284527170127effd3487aa8669bb97b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 7c5747e2974a7e6983a021d6a3ab1b33bd7fd800 dd4e8c5175c67b04af85008ac3fa201a31dbf2bf E InformationFlowSlicing_Inter