SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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   qE |, ]% InformationFlowSlicing_Inter:threads=2elapsed=30.510cpu=53.492gc=2.984factor=1.757zXZִF! ]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#p~)_(uVN*ҟIU7+Ȗo } +CVo}X`T+I~- ߳lq,J¾QFIHM6п490Rd9 Ӟ m_oJ'rKzI +( l ͸hi_5+T9+ "AoDR GLf}&if4A s |wQOFu1ƒd_|N9@w-@ h'?e WpxJtHgFYWNUN#\|jM<9dVx4+s$tp1 v# 9`AI˔`/UoaLJPp/_e} ?`pmד|Dj/ =_ҹ}gz d41*\VK&^O:}c=ʗ2=X|"WNώ#׋xFW%j R,VnW@9?gYZ7zXZִF! w]ŗXiɟT>(;gG"**Ax(ɳtW$bIy U;VQGƊpXs`elvs%gYZ7zXZִF! ]ŗXi%9#qq =l̠rhQ1N Dk㈠Ox{^_^'YȒ ?;ذZq LS^b,o ǚF,)#+PfT:.?ĸt[B%$=2a@= ! \ch f "|V]ag]@%pa ;/ߠ崑B^:dJ6(8Hʗ  [dzᯪg杂VE4WiB Ĺ6|0/? PsxWcKPʬ60w xB6xr*$mYB7+- GZ8{Ez~0oqT~.m߁'4I:Ntijr.T3L4"m$ӋΠb+A娨72 j5ʄR^z;+x gd&'\Geme=I4^11`T{P|p$xjڱ$ N\9dƓDp[; +pb́!Gc;)4 M| +3j1R3b~)I@ˈ@W}46蔤DC>&;)gNFTCC8+V@ cf? +#2jDIt5VBRy+`b1U0@qZ҂6JkļJ/W^DewGb\9+YF` sj/nS}EY٥igȁĥ)lc} AijHrqŰF8K\9XƳ~