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 pp E T|, ]% InformationFlowSlicing_Inter:threads=4elapsed=15.229cpu=47.920gc=2.072factor=3.157zXZִF! 3]ŗXf[&KvE{!Gx/d ՜Y;[hmOd؍.x`dnIͩg:9VwE}!ש.|NmKoۆ%|d;^' „8~o>ϏMO LT9c7).X-q 6|BN"fcE|TX7iz'6s|aYULԙcl>7yh`.KOxO$B[ee,|l\ X460l/Fctu6IiR_z {6#h kYŪv{ncѫ,U6irf'Q@(\v޶@i,8&{n41dCfS6fdԈRpIZw_@&_K?Z?\uJ( T<\o$3`O˝ ~J2 23]V_eڮ6=HO=`.P&tj DʔYר9L~3k?+߲D /)F# IF(5ナ%I3\㫺cYz&;٫3^@n"Xe+";z>FOxQ."JUNz,M\qAxK]O<X5PgYZ7zXZִF! x]ŗXiɟT>(;gG"**Ax(ɳ|L~1{#L_8 -ph*FHLC r1-א7;ݓ8gYZ7zXZִF! o]ŗXi%GgG }Z76= {CV効I&K!8CzقO&הpZz2;Y OS#瓆S u7%̾ oP ֣*P[؜{ aaKpB~N'Ȑ7Yv.:RR 19ovLvHLaaku @ˇ٦$4vxޑ4 OHR5"TFy6n%=3;~(^@$/87ݙ?aS~p;F7dHRBdf\ ^2'ˠNlC&Groy[ * 9{9@SD):4r.ͤȊ2r}&@=~gv?*奥(7[}**85e)"9je(ξd+զҼ Fq>0zVƴĖ7qY6ԴH`HnIi}y.)BMF9] :v~ޓ׹.M~[\9UܝM8vRk&T1\4Ǘ_?L8waGԽRbH4>/;U:0Ċ*+=jt; QS~y@nspSSmED؋_Nڤ%}'.rhlk?ҍB7z1P*5FaP(`+hPQk&tU,Pz"b(rt;l#R$[煽ѯ*;noւU'~~_&hW,2*1̴Uyl(Bl4/n|,W LjdEv&FPqNXuKՎ^IMw=ϒ[[*T>=%r{ Y0ΪywP 4`q=k#=/?y5n%SvӦ,K$gԈ"_Cx Vr 7@sg0E%u5Z+l/J06L)whvr\IR! rp~!ì*E|J=uM@ĕџL=Fd=۳ixO 2 *oe8+LSڄFZt1y״㛖3/!=3dQPPwPXI}J)1|yYKP!eSY_ QiQa2vFKA@'>xw+xׅpŇzGhA{L HHN9Ao*r?cJ{ю]ܙ2 LdI~F Ω{iRpv$d9KϪ6f{)2v>؋?1y1:5y>QD%z1գ]'yBU IwElrWU%Bo9ClDts4(1u1ǚۖ^7g^`@"|MvuyQO{SLL\Pux[QKX}*Y <[ʄp