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 DD9E $|4 ]% InformationFlowSlicing_Inter:threads=2elapsed=25.009cpu=44.824gc=2.468factor=1.797zXZִF! ]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#p~)_(uVN*ҟ h-svqEm?sg$~SriUnǝe`ۧ,\VFqLj :̸Ɇ@b[_R}(i/[* h6uRܷ> BsI~%:|Fm(Yx< {Y@ʮQ$rt[pw5g:DޠËitZ TilN5=^ZQI>Knϧ<쓇S8c(`/<<Vw3=Kdǁ,eVSX!xW`Mm_e.M'CrD#BVQ]n0^1 Q!|ҩf'<9 z/obqB8Mӌ8P&$v:]'I@_+HYM& &G r߷O$LsucoU~ߒJ 8Vx&!jPg5p˧Ba `$74*P/"l]Wn)ʯxeZ%i?&=;QqGpʅ]Hk{%M?ĥgYZ7zXZִF! u]ŗXiɟT>(;gG"**Ax(ɳ}wU4QkPM$ݫ\Ka ;`cb@ Ĭ.CH +бgYZ7zXZִF! ^Q]ŗXi%>g>_ AXR[ LD?r= ʎdk]"`GiU-A^ײS(Cu=ĜjdtIA<n N 9BVKdN @)b{)b) ?8 pLvc/Q d|2. WD2 -wިۖvIw׷'JS]A_rF^a`?Xjaߡu#ETh;J6Ӟ)qiTD* Qt %n)#aBN0OI򎁱s%h soŜܢJ-.2yFㄅuHiTڗEEU{eO^}_ۘɣń\z5Jof}_=mn8=AйpBI*P) *(`7nR\x Ngf|Lu,^quF4 65Ys1r}^1ܟl!d߫K^v:%4ov}k!hegc_\'MNe%ul~ k;Q$0,|l~>T{+Mf8gk$:_]]X+#{؛)etǘ~yZ#sb?_UJJFwqC8Ž{$Ny}[ws=]qǵ5U|sVE F%$Y*4eXy"XąJ'/MGhnn,cSv*bD:v4> Jϊ!X | ohD&O$ }߆ORէ Qw@eweC#Gw3${Zzk/4: k,,Q~B:{˜Inj#LYa2ǡ* sƤ~:6qY!g}W^2rߢi궸q 6#i7$-0ҷ"qkRU)#:- ѥ ;d;[ ŸO 5֐(EZ/c1@r>u'K]kryzƜumeyc$UU9wh FÃgw!#Rx*@_5HӔ0%!jVUdدhH5'?dyoHDy9ʸX9+: TD:@ ivAٝoPH8]'3+:{xs\۲QŘ@FK0cJ} }lqNÏ/}Rү9 q9,o/dJz)ivc9V6(ok;6ItJWi̡U\FRITT'r99Z']Zߒ3)dgYZ052f9dce8ce85668db78f0f303337b06fea57c77665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b ddd36f788db00ad518f1e8c5d9d91abe24b2b939 be8cd8b5726b579efefe26da91ac0bd514dc48f2 E InformationFlowSlicing_Inter