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 tty9 l$ wS InformationFlowSlicing:threads=2elapsed=11.328cpu=20.376gc=0.992factor=1.807zXZִF! p]ŗXf1-/6vRZ;׬S@à;@&ᭇF 9 InformationFlowSlicingLixs^pWw@ [B β]Y QAUNM+%E_NM--ŻN 5WYԎ[hOjUTTbɸ%zǦ,`esg:™nкΐ%ٓޘS/Wztˁ;P~5g6)u@'KԵyC}?5$+jFׇڐP J+)Zd˒2!H}JJ&P03VHæ=(XF6ʻ+jEdU ȒF3#b\W{EUC mds=Ylv,_`"4ဧ,4864ҹM]}BM^@t)+h%JqwE1`.7~i҈ٔT>P3ľ8aMa ,)pc?:O%f3LDYH]6!>{a%m7mۏ =ӯsD>2i\TH0 )=x],^ *WL/12H3'kξ8 Iu!3%/9~t]fVk~n uL/LFN_j#JI1HTN Zv;F #-rZYY@-;_ko6L QrSKo \%Q~`F>b 4'ez)y a@~_G2x'D2Y{_% Z<ǎJ 3Sm'Iu tw\ENUF49H-6RlXa)D)r4ǯ AoD:Ej#$g/Ryʠ3<K]8Q1]̀a ܢSDY3; tׇe`#]k2 7aG p]"\n K҉N`ۏ;h' +/<ԗ$gĺ?L,qKj0OM?a#͕ڊ\mlxXk^ف)kK!BWơq A")-|ZBeU8z!#7fv-Q/=p᳖3u M1ޓi>3&@OY_g.tFNjV Z~qmlLwd=jd!۸x ([9cꮬ&>Ggz,?'ǰT)PzU/CoRYn`k(`<,Q6ڧ‡GCa+4,ѯf3|j{gYZ1812407495cec5df04e9400ffda893a10b1dd05d 48f54b27801ac9bc464dcbe870311259f7be9c1d 974e8213afb6cadc24ac67baaeb3ac914d640b71 9f0b4bbbee284527170127effd3487aa8669bb97 ca4c55c603d4b24124f9ef6fe58d9fa69fd00b42 caa6596dfa93f7644db52f75d75dd6e1d7c2be708c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 d5f3f8441152078a178e0d5790fe06acc2802078 0aad5f7f84d661279f1fe1ade4d6d4e4ad077692