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   ]E $|| ]% InformationFlowSlicing_Inter:threads=2elapsed=23.920cpu=42.424gc=2.756factor=1.777zXZִF! ]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#p~)_(uVN*ңBYd} Ag8RR|plm B#Ɩq_lNiĐJf5UH{"Tw*<SL49dM4Ce mi8FDiYyH'˼u'&ʙ}76'hZ*ogxOI ]%zK^)8 a-G%b%qѐEa]pQT~uy㘔I71M$Uyjg(AΩ34@r1OATS.kx7;ȫxEYss1,\{ CzKT?F !^ +{Qm@.z=z،\WHC+g.]^ =5PEFx^_FZCVOG>5ΐWNW{ 5&EVL;LܞΑ~"uJ =Szz*Hejw?S̚s0@ ^t!OeA~\#5fgYZ7zXZִF! u]ŗXiɟT>(;gG"**Ax(ɳ}B΁?7qP ]wrd[:b!߶s}1sQ< /@}5+бgYZ7zXZִF! ]ŗXi%;*% Fua? |9<(HSHV+O#ETxUC *F3/~ߓDIV'ͤ_PR&13ƚvԿ7~Ak/_S 9 E@)J R胤K:2^ʴk: @-* Mߔv` + ӫLTʇ8XI% d{96{Yeawa윳X{l|P`lvZR MnqbEwa`!y]M(Դ4Nqʡjp- rHw a[Qv֣5Dh5WXHQ}p A9@࡝M KPtI\}nD| &s$\^unQT K(APSSxv .5]J$v5yW9jGkuc>5L*9k\/w{d#Ec4P{A,F)T~# 3A9kexjHmp@\Ύ8NwP>ӳJ#{Zmí[":o* [z)H)#D8m 6M= X{Gzlk=,W; EHgYZ64953d4feb3b81bbe1a81544c7eb9416eb548ebc2f45ef79d98bf4791ca25c4e1af3b76b517203ad 1b41415026d3583c6b6bb0d2ec2995e8feb75528 6dd7123fa75097b18d3135622d27b8f5daf5537c faba4752f0e80be500179d1c27b0bfd75de9213f e0c30a377c0f88708e6b89b18a7d353400f45571 E InformationFlowSlicing_Inter