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 2Q ,l m/ CryptoBasedCompositionalProperties:threads=2elapsed=13.470cpu=22.652gc=0.728facto %Q CryptoBasedCompositionalPropertiesr=1.687zXZִF! N]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv Ѹhj8 O!"?tga5x_OFGK"ڋ:щ cDY4L0 d&p7"歼=xVdh^VLu$ K+HHvȉ8F=7H0M9~ݞü ( 2-GȦ\: Η 9#L /( Ko[.L%nLR\Ϙuo`VIp&}g9wcc}:Q#dj`=7,v7 !ƒ},1{9x'yZ ۋ+XSAGjg1*zG_=KcË9!1o7)jQz1b?0Þd^63EOҧw8Nު3Hi?ډܘ>Q.D'82w1ɯt xDmQt 'Ӟ[༞ͲD)(fy_tp('%op Ƀ< k6Ȍ;d}/SU/N92bstLϯjo& f``w?#@YE9X]N]VNpA 驆XA9+_,1Uy_p7wC:~$FIk@Bu&(Qs6#$,QK-+=!}? Qm{ #z\!+ɫ<Ͷ\s& 0b9nta?\^ph)$/-\e5$Aya`Ww]h,y;g[zs?'5JC[6>^[L1WE3<PDilD^lb\~츗dʯmVБH(E@=Ic,r1j&" }w bv='+8J 0>}9}dР%YL"aJCŇQdZGG>C1.C9{ tT'QC ޙ.ܚ \eJHqi7xf| Ưt'ħxeNNXӦI 3RQ鴒1BH8F7գS_/=֑)=HSV5kb Dnyu 3GgYZ7zXZִF! Hn]ŗXi%B׆'x?p>;/I(v(Bri9kkKL0SP=7O*妚0rך B*Y} W;T-8^om#(QA6'MVgՓY,SQ!|ݭz36kΥ.W}Ze'nV̨"շMUu z`ϋC{𝐱O֯#QiudA ֔VY;@w<~1y5$}o*1ߒSFCDGׅgI6P7GȎVJ ـ+MŒG>xa?Xs]d_2skpMT%8 84 \D:op)/~`6Fm俖9R~j {lp|,ء9:aE\!l9 u-m TA_[BG"Sa)i8"8X, z' is o@ R]ȋFC:hm[ )G*6!v[UPʕ9suҿŝajh. .&, Y㔷 T-o퓱BD[|Ccrn'sNF&޼ujc2-rui9K~A;p8RXk֤nH g!p{X}STG39r42i 0pЭi}̍j[jrZC[ݎc$RP6T~ D=n:廙Ŭ5 l^ZD#PH&[gĽJ OK;QIlTJ좟VkXc UlpP`l؄P@Ӟ-i;Xq9IvT1G B=D!Q|mQؔ?[>=IxAYLs̮@RM=74TǮI˸ˬ;WMLx >1ʚܴj'K:?Y7Ov@@|2{~]Tՠ`>+Aԯ,)鍰[1#^=BPBC<춳tӖ $#NgYZ03256fa1f715f129b138766988778be346832b9d 135340a9feba4bafcbd2cccc70f9f211d0c25100 174e4a451a9fb966a5e0e4fcd6730dbff6614809 1f90b0e0086b2d0384ef5bc961db45d0c986884f 56d8d9984a33e9b2051826bd1d682f699c08c8f8 7ffdbf7c10d1bbfbf2fa7e48c924af264dc04319 8e8dcbe7ee912258a311d370bdcb8c05c2e810aa c5631d165d78e8c60703bf53383f004028e3af07 cbc1e3419ec1476592c54fd73f1d8c2aa14b6107d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295