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 yO d4 ]S Noninterference_Generic_Unwinding:threads=2elapsed=17.907cpu=20.064gc=0.320factor=1.127zXZִF! ]ŗXf1-/6vR[y(&j-:6h 3p#(^,B9 :CmڴdɫϿXh ,x ?Т)y9.cLtg"}YZ7zXZִF! ]|]ŗXi%9(OX6ͩiӽ pW3FryT, ?Q}㖤 m׽F4ӧJ_+>gw^ŭC&%~*G8=)H2  r%v eJc*K7/@J~w`Q68.C&ȱ$c+0űd)@ĭLȼ.H?Z ]zmXQ$^܊fP+!Y<!OFޑ]HDOlgKjШ`,ZGGAJD 5(ⱧxuBClbkIInB8$AzC:nP\shhdKk!!ꖟyA'+ '!4 2Kê+ g!7; C𲀾`a._N)oLWrTΊ`"c1eʓMh0/[wCc}9W&a7LUڮlL g7; ϣn5¢۬Tq AK=HLnU`E )n9hܛh?N6v4 =!ܦISF .&N7BLW!O>A D![QG ,&ך;ȶD 4Hry.K5=!rNthG4sPD.~FTC KUr3a}typlvkVgT_S&b9Ze7%So.BʶhzNCDx[RapZ@nHEMLsEI.v`e1FqD^9^qeםNlt){ ОʆlJ /H˻G8MYsV?ȋL}T$F\IZJ-xuq]UGw\ ˝4qC{@_*C{lqthY\'H*F1E  PVl 󰩭=+GT(;WW[Q* ]z(Ӑ S>,J^.6b4:b6 6M *QUSy~5-4&a3pE|Rx&-BR_x [gYZf58dc3710ae0aa2952b73379f34d35e3ee30000e3bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e dbfff1d39ba01a05d3a491da7bad8f009065737a 579098d144ed4ba0d48a5cb98aa9d17fd17c2b93 $O Noninterference_Generic_Unwinding