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 vQ l4 m/ CryptoBasedCompositionalProperties:threads=2elapsed=13.323cpu=22.660gc=0.708facto %Q CryptoBasedCompositionalPropertiesr=1.707zXZִF! M ]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv Ѹhj8 O!"?yvOĤ^Ch!Tֳa |XtL3?,H)bI wXN`toCgP2-g2!f3wry+Ln*M+au(ml$a"x x7:1Px'!B-3 3e^>/.ﰼ=0p6Cak:q_L Cӡ+rS,rMڴf !%Tߣk@ rFDо\~ӜZ_nSo>5Ӯ25o?c@g;izL8nZ=l;hD{l{ VHvI9Y r9d|--F{hkW]B=4Z'W%,pZZ/cvb0 \?WLU<& i՘ "?7-MSXRf^Ooҍ߸V|>|JS'12a7>9HkskuQsl4>fӡ?]/&s`ϺA9rVy|>NTLäm7r?x}n@WtGǘhN!(^y0|3öh<+KʹVJ3?7Bap!Qr++1W9jI\*,@`Oz}uNAX;'0Ddx2DH Ԡ4P_$(J)EUZJ'z'vFQuk jڱS "[^VLS[ϏCڰP^~+RKfXܗu;!:=܍|-E WЧ`-ͱD5*3I*rEi,7=` Ӱ٩} EBCq3iDx:3̥{|<&RloU~XQVW~sw+ %P3gYZ7zXZִF! HQ]ŗXi%DQ.zŲ_ˁV6 #3q&o1/ r%53_+BGSܼx;li6YSf@qvwhֽ[$fL@koۃw|ue$ȒΠ#++aLx| >tm-rsnbiQWP/-pqa9IRO 1GNɜ4OGn+j٠*pF\Tl`"%d萈#Nam:Brr|H?PIl`lfvϨn؄ϱ)r95Eyb] -(82©')