SQLite format 3@ . BBh77otableisabelle_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 tt E lt ]% InformationFlowSlicing_Inter:threads=2elapsed=23.142cpu=41.504gc=2.380factor=1.797zXZִF! Pm]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#p~)_(uVN*ңBk(lT\S…L]YuqܖZq۪ob<kiTiH{2cl5iLbufN>⯃VIrs}ޤ64ȷY}-#~I nv H5n4?рڃXK PKE9>p'ԃL? a8PV`9O \X?+(g=xhigN=q9cNb~OʣFA-mL`0K:dU(D9ձJto|\y`1|haewEX"{$mt Gn1H Vd.JZP_vgm3MV6ywg<# jkc(pV/KĒ2 gYZ7zXZִF! s]ŗXiɟT>(;gG"**Ax(ɳ{~(RiSeBwd4˸-%Jtq}.F>(CԾpOH>gYZ7zXZִF! |]ŗXi%;ŸrC!yޥSۡsujb~F@x%*:"Zh_aߐ~g;U'1G/WiZ(_ w/; B.Pzy )6*bW-3U^1I3*B}XzQE |Yt #{u[<{"pnʌ1vFl9Ubp&,;*vr'U7 QB>' +nu؊O`x;RɘA0t_cQSnZ.oc9s6 kRX"fd6ι+ymF׊z=-6癐'շ(W6*[:s*#jj/5hƼ Ae+o!lp4@giT>>!D= ><e Ax,ʙWn4) 'q:>8Y~(Ye'yJ$vdl2w~ y6ƌyfrdXGtmsJv(=y׀+ޡ~’GHo;CS yͰ g6K|,dt9r]bU)/cƨ\M̒fn(=3G@%vP=NJc>~UsduaL69[H%w[=Bem uKO4쌡M!'Ɉe k{2d'!V5441 -H Ǒ\7{ի;wK f^S3QC Pw{A 4I>S} %|"]d֌r-b c}hC`FvϜVxxzy»ݢsiPVKOCΗ2[`Ub! !=6OD٭w 00*2%_{A2]٩*k&#|ܩTF *ocG/~9RU=JMxҧk2k  l<(o&gֹ3 qm)ItD4SXceJש Zq6cQUbQ Y#LxbҞ2 b-S!;>\:""yw O <*@Ӎz(OxǶD_\%S+A@+NIl xXe&ħZ_Īdf@h2L,RP=w;{d )#ˈe#^)I)$iֻŀyٽrwZWn<6\_I/% 6~\A=ַM:EjdBjbkR?6YQ&L?57Lt1wg%̫r$F Җ{FgS4:^qِ g̴וlk8*}:&\>-tT7ƞL2g,  uJOVԁ6