SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info !!PC D % Boolean_Expression_Checkers:threads=2elapsed=18.994cpu=32.928gc=2.108factor=1.737zXZִF! []ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DJ/js sHPTAzˁar̽BzUڱx]ogR]85:-vH ןx_ɰNm7ix‚؜KjVgbp땎$kaog骢ĮH%& Ey-"U-)U-^dǎV]p '57&,Reh@ZXLܔ [xEٕGFx*r~VSo9y C Boolean_Expression_CheckersP3zrgxa\$S8OuaROCX#P! |fh^IKvv7?5eȏNPYu0__8v~+ދgI*. &OH/mWaSOo>> baGk GP.n=؍:b 4i%4NtG^L.5 veK~ΘQ6h}O9VQM|xUGQٿoI'Pʟ31kU!mE:ɬ+E.{ r{wyR>+4D@/!G72,IbԥL0Hf /"(7W.(S̊}=H)^@,@ CQ<]2/{~Xd 5&_R2iZ S .%P9!"t/Rb{m$,bD`N7f7S"r\EѠO|Jׄ+b'2S- 6W~>q=Aw xU"7/\.,߼“!M#t~{2w]C *\kDZ y+/[deנPyb`g4|LjjtcXN3U,1v;VXɸa}h0@뙡E.6g5„pr|c&lnZ-@HK ߽]>鑾x7Qve85S%$hˊحߺݔTjT: k&L9 Cxd $}LG ackfԜ#J`LaiaU~q5ӁzGhc4}JhDȹ%>ޜ8f5!f_ail@5?n20#NN:)wfs׉tcEdT."CZqMA ʻ,AVgYZ34d8beddd1063e0f88c3cec18d55bc84f4ecdff0 5b7a8a74977f35c97745ff4512f1447d08ad5d6c 5c35e753de9008821a6118aedcc339f9365e8561 a8a565c4f899fcde3ec79b7254c1ad9f09f50fa3 f9a59b55e84d053e7eebed397fcd3b207594625f8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a