SQLite format 3 @ .
B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
+ LL ]/
GraphMarkingIBP:threads=2elapsed=20.294cpu=36.268gc=0.724factor=1.797zXZ ִF ! ] ŗXf1-/6vRZ"P*nI1 6iT"'?Rz"=.ۺ .!j[Q9Vf GH0q92zPd'oMBhs|AjNsҵEg>G#` B9 ^cnVIZ%£ Ja ymۋφ\xp g=&D+ LAdzqlchFk4wXݻ.g܃#aJ[N
NG^w d݁mFIr> &3y[8Cyp9?ՁK,Ki09c8MQϟKr*) D6.>,dTyNėUKuP.d>l\@k ;zg+h(Tnn&`PХC7I=DЂsD2eIBvLYDӤ08#zf/:`( K EW .lψ9ϽA<%ʑFpكmJ7cMKZu'QX[/ Z/^JίR aGi`ת(|)xq項t s>Căn#Nk)n"LơWu
]6&4mj7֧ Y\-R . U2+g YZ7zXZ ִF ! :] ŗXiɟoptB"5`'''?D[ gM]c]ύM=ws<6,w%U6\#F
J !a" =)\HL=6>CyT G](
Gdn v9n2Al:;%gT JvնA~W#:1~(iQB4؈w >@2
lE2HWxOm[cwrjkQ@R);EAG6C-tcRgg) pT31' 6w-3l g YZ7zXZ ִF ! i] ŗXi%9(S NOBa|nfRb`y>
K bsi/t\ABM-\X(HnBd0脍݆^Xx 8z2rȻf;BSM̀ Qfz94 vYd?V aGMx֥:w\#Y kҕvj\ھN 6LLW^ 4~/Rر!]Wxɓ 4dӡٗ;r wqT~nFAٯ ɚH-=W.װÇ}]-ISq(rū Nsa2_wKoXa}$tcq˭ed%6iJG #T!ʹ qxr)ګD`X[}>I5H Kk^SZluk^
tdK (Q,R+{xxX qM{6 O |CJmh1v DQ
ǒ/3>= E+yfK ZN QxSF5SG밝Z3jÒeѪ(A^f>ҍύ$d<
/,_'ގU*\m L olSs 8zYԟ3+qhQb#:o#ac|]kkh #FDtQ vJR458x%OITCg'pvm4hZ_ɥr1&ƷG1F"tUbXZ2ΫR=Y>lĚ[f贜S A>/! AlҢopTpO{h&վj~VB' ɬmG_ƌW<+YLkM 34ΘDY*6WlI%ao ilUWx
h
M?ɱg YZaee86581a5cce8fb825aea1d8252ad2d5d1215c12722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
+ GraphMarkingIBP