SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 OO.9 4 ]% InformationFlowSlicing:threads=2elapsed=9.989cpu=17.360gc=0.700factor=1.747zXZִF! Y]ŗXf1-/6vRZ;׬S@à;@&:`kGwkf-T1P$$y^ uE >:Oeꁯl)𨟆lfbh}90Х{kE ( d%gYZ7zXZִF! ]ŗXiɟT>(;Z#>dZʒT.|I"| LrqO!=_4LWkkCOe8،-DTgZ-XwUhYgYZ7zXZִF! CQS]ŗXi%>g /ߛU`bsI2c7Ysߏ{)03Pїg9mci@s-? 3O=/@X'RZi.yKrBg]O~cTL5pA.A?.v+;Vr ۩\xR<PYL#f#hW(뫷ML36>P:>(ʵ\bW/3h6 dkLkhuyD0}pQtuM{@3i聍˪0\vcq{Dq9l8n~Ϊ OAdǕHCy+3*g'Kn8XW]ia70oZ[:j7BǶn444N.'`I _oeo5h*jm+ O ׌Kn_UGc$ R5J1! 4fSJE0Kj/t[W#~ vނhEYv]~wl{Lƙ7PHT@>T1ϊa٥qm \p n"9FHRi29tfdEȠZ٦8$%X:aGgC-~K7;A 킸xJhwOzTմk"g|ܻ pƙPޅk5l4xyTQ 0'$ٶeJ^LmJ4`Nͪ)L2,]#+z|[uqY0A3gHC, &҆*dgYZ7e3b777e5a11ba982dc61750a5400903e7624abf665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b ddd36f788db00ad518f1e8c5d9d91abe24b2b939 5de6d7656dab58a024654e92ad7c49534bd086a1 9 InformationFlowSlicing