SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ]E l|4 ]% InformationFlowSlicing_Inter:threads=4elapsed=14.252cpu=45.284gc=1.772factor=3.187zXZִF! E]ŗXf[&KvE{!Gx/d ՜Y;[hmOd؍.x`dnIͩg:9VwEgĤ 1^ !.|)1YWo=sp X WT9Z;vvWQCGK3>BLe~iuܞ'hps _[9gneGȰEW} M HJ2p Fa%{ B"6beLzDpjeCa?C)2Lm -0շ/*6 A.SunS3zQ`n4)xD]cE ᨞w!a4TsQ Ҵd14Lr9u!4k8܎u4A 6۟Ղl}5g}018L[YZ, X򮷖?sĶ]EGYP;!~.)\}<x -1}z_qh\:sҐͭמ M5X}ʈ%"qn<{0Cz@ v<Hh5FgYZ7zXZִF! x]ŗXiɟT>(;gG"**Ax(ɳ~#MJgŲ?n0׋:֪+cRArPӆÔGG]q炣Z5KPnZ' _SxLgp .@ \p*R}X3ѣ"K33q/ HӜfjG! Ok 5B\ pShaȻ YE`p\?lo%=f$N '΅w#QA4^#Xlw-g0(+% ̶2e^%Yl+7Ưjs+ wI̚8=I-2߉"&utvلnD z7(3y0WX5\^g6S7տs#~`6 s#ʝn$񩐨x|A8)USHy,a([nq~"µI ^Vo! vRa D3h:DAV6NUZZ Sui~.jdQ6\j[EՌGdOo桊DiV7(,&g/znH**kwFQ@#Zbd+yb1k5F;CWɲNg[;ȋd#! <55̣W"q<~fm,="xY+<l[̡"bkxgƴٔXPKΝqy0q$ސ0f7v7~zж äU@$XYd4qs2RBV{> Cmjm7 QN5 K hDU ?/ Y~ӝ,YI". Kۄ`)ێk^b0㽘;3li#V*-|G ddͷVLV18TKnFrN.=C`UqAgVK+zeݲӨ1f.^A3 NQ^"11vע&vs&ɬW"<=to!S!*USssNm <?jHNr4ͣ* ]=tds8 rzUrM3I~~~ -S{H. st<. ݡBvc&hb vEgYZ80a14ef6bcbf33e3ded7d39634415db2afb3ccb1ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 be92e2959c968b7f3d36b13ffb68545c9100d519 0ebe756caaebb24ade20706964a52dcb958cc7b8 E InformationFlowSlicing_Inter