SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 xE l %% InformationFlowSlicing_Inter:threads=2elapsed=34.381cpu=59.528gc=3.112factor=1.737zXZִF! #]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#p~)_(uVN*ҟ)x]<+a!@,Tz79p8ބ進Q q[1Tfcby$ 6f0u/¬ӯq]eSjl^5 -׮7&ة^O\ $uME3dOLPb]|yoɹNP2fƪ~o7CVtB"2Gm':X~+P>^ji{M Ǣh*31K} 4\$rÁ=5MX2>Fj#BNɳ_9Nc$imv6u 祷+Ʈ啕B=VrSKP8똱gYZ7zXZִF! ૡC]ŗXi%6DnXF: sek%4yM#P&->Y}!#|dP"œ6Ǩo+/̩r1"?h#-^&LR(EV \/!pwfJqJi9ORn:E7èln\ivJ9OBʤ~l\Lc#d&Ja I[:PftA1gOߗκf#.6AyKx6c+ñ=UYpo3l]13_SwW$ݹO &7Ի2C ֧ |;lԔf,Ҟ&$3@7#7Ȝrv]Tޤ~]{ɭ2 ]fs 3`YP6N"51GH{ŠR4y/tEXe-@}aeN>tϓ HnW:yfZw@rC\J+n^n-ɮ{1K PhIVu-;;ٻJ=jc8sKh?/Go:xau`LN6#,Ŗ>~ r, R4!pxTgR1#wmԦQ$aXus߁(w] {ۡ6{:nIz^;RrUVWME`%z. >'*'s!uok=mLCHX4QB}c2.XeDG_,0E:8 6;\=yeH}u8Qp-%xUn~Idb#@ubB ޮLh-u ?{m$[c: ȉGdeȓTr%wCo8?2K9u K^sAeB|:qoI`#-I#r?h>˿E~D_}Qz2n%72P3(t[sV;}.M%AZL͔!,.Lu={TV;Kp#omE`vFԏF,m&iV}(HIu+ 0EGpaIfM2O@lUO.u ]}gْed7wué/߿8ەRԴ3A-Es'EIa¦$ejf३PAgi MG̗]a!g:9dB$~s׃s(Y<[I)).5bkpiXKּ'i 1+HEX e&):ĦH7v tB:OL^Wsk4I7Z{zA$`9b.4`@C]*끏(1) gdD|dOާrLjtH&r罈[k=oF+^UR9Sl7: 󙅵 \73ל 6NB<00meD!n< ^M